1 2 3 4 5 6
{-# LANGUAGE Haskell2010 #-} module Foo where import Data.Kind (Type) data Foo (a :: Type) = Foo a