GADT Strangeness

[Dominic Steinitz]

If I remove -XScopedTypeVariables from this http://hpaste.org/13230 then
I get the following error message:

> Asn1cTestNew.hs:55:27:
>     GADT pattern match in non-rigid context for `INTEGER'
>       Solution: add a type signature
>     In the pattern: INTEGER
>     In the definition of `referenceTypeAndValAux2':
>         referenceTypeAndValAux2 ns INTEGER x
>                                   = lhs ns <> text " = " <> text (show x) <> semi
> Failed, modules loaded: Language.ASN1, ASNTYPE.

At the very least the message is unhelpful. It was only by accident I
decided to put in -XScopedTypeVariables.

Can anyone offer an explanation as to what is happening?

Dominic.