1st Monad Law: LEFT IDENTITY
2nd Monad Law: RIGHT IDENTITY
1st and 2nd Monad Laws: It's all about how 'return' should behave
3rd Monad Law: ASSOCIATIVITY
Monadic Function Composition and Monad Laws