Type variables in patterns

Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones

For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms. This extension was neve…