Type Variables in Patterns (Haskell)

arxiv.org

7 pointshackandthink2 comments

Oh very nice.

I had no idea that scoped type variables was anything more than an extension to the syntax.

Partially implemented in GHC 9.8