liftM
liftM3 and liftM4