docs: function leftIdentity(f) {
      var M = f();
  
      return forAll(_.Int).satisfy(function(a) {
        var m = M.of(a);
  
        return m.chain(function(b) {
          return M.of(b);
        }).isEqual(M.of(a));
      });
    }