Pair
data
Pair
a
unPair
toPair
swap
pLiftFst
pLiftSnd