module C where

data C a = C a

c :: a -> C a
c = C