1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE GADTs, StandaloneDeriving #-} module T3012 where data T a where Foo :: T Int Bar :: T Bool deriving instance Show (T a)