Typo
Add test for 'liftM'
Add test for 'liftM2'
Add test for 'liftM3'