1 2 3 4 5 6 7 8 9
{-# OPTIONS_GHC -XKindSignatures #-} module Foo where import Data.Kind (Type) data Foo (a :: Type) = Foo a