Added the monadic laws