Pair

data Pair a

unPair

toPair

swap

pLiftFst

pLiftSnd