Здравствуйте, barn_czn, Вы писали:

_>У меня вполне конкретный вопрос по Хаскелю, на который не могу пока найти ответа.
_>См. код:

_>f :: a->a
_>-- имплементация не важна

_>toString:: a->String
_>toString (f x) = "Applied f"
_>toString _ = "any"


_>То что toString не компилится я уже понял почему, патерн матчинг не такой мощный как я ожидал, и этому есть объяснение. Но цель функции toString я думаю вы поймете.
_>Я хочу, используя патерн-матчинг, покапаться в дереве выражения на входе.
_>Как мне это сделать?


Для того чтобы копаться в дереве выражения надо его создать. Вызов функции != дерево выражения.