If you compile this without ScopedTypeVariables extension, GHC will
remind you of it:
> Illegal signature in pattern: LegGram nt t s
> Use -XScopedTypeVariables to permit it
Right, but I think this is conflating two aspects of ScopedTypeVariables and may not bring them into scope "fully". Although, that's a question for someone who understands ghc's type system far better than I do.
-- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms