1 2 3 4
TH_scopedTvs.hs:6:13: Illegal lexically-scoped type variable `a' Lexically scoped type variables are not supported by Template Haskell