module B where

data B a = B a

b :: a -> B a
b = B