Здравствуйте. У меня следующая проблема. Есть тип Expr: data Expr =

Question

Здравствуйте. У меня следующая проблема. Есть тип Expr: data Expr =

App Expr Expr
| Lam Name Expr
| Var Name

Далее я написал простой тайпчекер:

check :: Expr -> InferM My.Type

Но, дальше мне теперь нужен Expr, где каждая нода аннотирована типом. Я, конечно, могу завести новый тип, изменить check и т д. Но это же хитрее можно решить. Через Fix на типах или как-то иначе...

Не могли бы Вы сообщить, как это правильнее решить?