{-# OPTIONS_GHC -XKindSignatures #-}

module Foo where

data Foo (a :: *) = Foo a