data T a s = T a deriving Show
f x = x