{-# LANGUAGE UnboxedTuples #-}
module Main (main) where

foo :: (a, b) -> (# b, a #)
foo (a, b)
  = case (# b, a #) of
        (# b, a #) -> (#,#) b a