module Export1 (f) where

f :: a -> a
f x = x