1 2 3 4 5 6 7
{-# LANGUAGE GADTs #-} -- Newtype in GADT syntax module ShouldCompile where newtype Bug a where Bug :: a -> Bug a