История изменений
Исправление qnikst, (текущая версия) :
ошибка в том, что тайпчеккер не дал написать функцию с типом :: forall a, b . (Show b) => a -> b -> String
наверное foo = const show тоже написать нельзя должно быть.
Исходная версия qnikst, :
ошибка в том, что тайпчеккер не дал написать функцию с типом наверное :: forall a, b . (Show b) => a -> b -> String[/user] тоже написать нельзя должно быть.foo = const show