haskell-src-exts-1.24.0: tests/examples/DataKinds2.hs

{-# LANGUAGE DataKinds #-}

data Foo a = Foo

type FooB = Foo "a"

type FooC = Foo 1

instance Show (Foo "bar") where