{-# LANGUAGE UnboxedTuples #-} 
f :: x -> (x, x); f x = (x, x)