module TFunction where

f :: forall a. a -> a
f x = x

x :: a
x = undefined