module T5884Other where

data Pair a = Pair a a