История изменений
Исправление monk, (текущая версия) :
Читай выше чем отличается a от Any, компилятор не глючит.
Так я не хочу, чтобы он произволбное значение туда передавал. Я хочу, чтобы он принимал функцию с типом ((a -> String) -> a -> String), например \f s -> «Ok: » ++ (f s)
Исходная версия monk, :
Читай выше чем отличается a от Any, компилятор не глючит.
Так я не хочу, чтобы он произволбное значение туда передавал. Я хочу, чтобы он принимал функцию с типом ((a -> String) -> a -> String), например \x f s -> «Ok: » ++ (f s)