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