module T7410 where

foo :: (Either Int, Int)
foo = foo