data Pair = P {a :: !Int}; foo = return $! P undefined