... | ... | @@ -459,6 +459,8 @@ Once upon a time, I embarked on a mission to reduce imports of `TyCoRep`, instea |
|
|
|
|
|
- Fix pattern synonyms.
|
|
|
|
|
|
- Use `pushRefl` when splitting a coercion. Unless we're guaranteed that the input is non-Refl. And then ASSERT.
|
|
|
|
|
|
## Questions
|
|
|
|
|
|
1. What to do about bad GADT return types
|
... | ... | |