id :: forall a. a -> a
   // ^ not usually needed, but we test just that this is possible
id x = x

main = id (3 :: Integer)
--
3