Under the "Simply typed" extension, allow introducing new type constants. Concrete syntax is up to debate, first sketch: ```haskell type A = const ``` (Type constants have to be uppercase, this way RHS for type constants wouldn't collide with RHS for type synonyms)
Under the "Simply typed" extension, allow introducing new type constants. Concrete syntax is up to debate, first sketch:
(Type constants have to be uppercase, this way RHS for type constants wouldn't collide with RHS for type synonyms)