Serokell’s Work on GHC: Dependent Types, Part 5

Thank you Vladislav.

Good to hear you could rescue the StarIsType syntax. TIL (*) → (*) is also a valid kind. That looks even more like an operator section.

Might kind signatures turn up in patterns in future work? Is there a risk of confusing the kind -> with a ViewPattern?