Control.Applicative.HT
mapPair
mapTriple
liftA4
liftA5
liftA6