Yes, and actually I wanted that to be the actual method of Applicative (although I called it "liftPair" instead, but maybe "pair" is better), because it make se

Yes, and actually I wanted that to be the actual method of Applicative (although I called it "liftPair" instead, but maybe "pair" is better), because it make sense to me, I agree with you. (Although for optimization purposes it can help to also have the other stuff it already has too, in case you want to use an optimized implementation instead of the default implementation.)