| ... | ... | @@ -22,7 +22,7 @@ That is, we want to define the type *constructor*`(+)`. GHC's current choice (d |
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
Yuk. **So I propose that varsyms can be used as type constructors, and not as type variables.**
|
|
|
|
Yuk. So I propose that varsyms can be used as type constructors, and not as type variables.
|
|
|
|
|
|
|
|
|
|
|
|
Changes to the syntax may depend on whether [CompositionAsDot](composition-as-dot) is adopted, but roughly speaking we add
|
| ... | ... | |
