1 2 3 4 5 6 7 8
-- No -XStandaloneKindSignatures! module SAKS_Fail001 where import Data.Kind (Type) type T :: Type data T