GADT accepted without -XGADTs
HEAD accepts this program:
module Bug where data G a where MkG :: G Int
Note: no extensions!
GADTSyntax, but this should require
GADTs. That's important because
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information