1{-# LANGUAGE DataKinds #-}
2
3data Foo a = Foo
4
5type FooB = Foo "a"
6
7type FooC = Foo 1
8
9instance Show (Foo "bar") where
10