1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
{-# LANGUAGE EmptyDataDecls, KindSignatures #-} module ShouldCompile where -- Various forms of empty data type declarations data T1 data T2 where data T3 :: * -> * data T4 a :: * -> * data T5 a :: * -> * where