Proposal: add liftA4 and liftA5 to match liftM4 and liftM5