| ... | ... | @@ -32,7 +32,7 @@ That is, we want to define the type *constructor* `(+)`. GHC's current choice ( |
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
| ... | ... | |
