... | ... | @@ -75,16 +75,6 @@ type # = TYPE Unlifted |
|
|
and hope that GHC's existing preserve-type-synonyms-wherever-possible machinery keeps messages reasonable.
|
|
|
|
|
|
|
|
|
Note that `myError` would get a natural inferred type
|
|
|
|
|
|
```wiki
|
|
|
myError :: forall (l :: Levity) (a :: TYPE l). String -> a
|
|
|
```
|
|
|
|
|
|
|
|
|
Whether users could write down such a signature is another matter. (They probably should be able to.)
|
|
|
|
|
|
|
|
|
Note that this proposal does not address the `Constraint` / `*` infelicity -- that is a separate problem.
|
|
|
|
|
|
### Levity polymorphism
|
... | ... | |