Details
-
Sub-task
-
Status: Open
-
P3
-
Resolution: Unresolved
-
None
-
None
Description
TypeName mixes atomic types and type constructors. Or, equivalently, it does not distinguish by arity the type constructors. It would be best to make this an ADT.