|
|
|
|
|
|
by catnaroek
3596 days ago
|
|
|
Because, in ML, a type-level function that one module views as an abstract type constructor might be viewed by another module as a type synonym. Haskell's type language allows type constructors to appear partially applied, but requires type synonyms to appear fully applied, so it can't deal with this discrepancy. |
|
|