Type check data type expression
Opened this issue · 0 comments
elben commented
Once a data type constructor (function) is resolved, we need to be able to type check it. (Just 3) : Maybe Int, Right 3 : Either a Int, ExceptT Maybe e a.
This seems very similar to constructor application. How can they be united?