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

awk>Забыл написать — не хочется заранее ограничивать виды выражений, т.е. делать что-то вроде

Чего ты хочешь в результате? Что на входе, что на выходе?
Аналог на интерфейсах дай, плз, может так будет проще понять. Пока же вижу, что ты зарываешься в динамику — это не haskell-way.