1 2 3 4 5
{-# LANGUAGE UnboxedTuples #-} module ShouldCompile where f x = (# x, x #) :: (# Int, Int #)