data Clock a = C Int

f :: Clock a -> Clock a
f = undefined


g x = f x   -- :: Clock a -> Clock b

h = f       -- :: Clock a -> Clock a