3 ms·Type Variables in Patterns (Haskell)7 points by hackandthink 3y agohackandthink 3y agoPartially implemented in GHC 9.8mrkeen 3y agoOh very nice. I had no idea that scoped type variables was anything more than an extension to the syntax.