Added tests for Monad laws