1 2 3 4
T14320.hs:17:14: error: [GHC-71492] GADT constructor type signature cannot contain nested ‘forall’s or contexts In the definition of data constructor ‘TEBad’