Add tests for monadic laws