{-# LANGUAGE DataKinds #-}

data Foo a = Foo

type FooB = Foo "a"

type FooC = Foo 1

instance Show (Foo "bar") where