1 2 3 4 5 6 7 8 9 10 11
{-# LANGUAGE StandaloneKindSignatures #-} module SAKS_Fail024 where import Data.Kind (Type) type A, B, C :: Type data A data B data C