code: function leftIdentity(f) {
      return forAll(_.Int).satisfy(function(a) {
        var b = f(a);
  
        return b.empty().concat(b).isEqual(b);
      });
    }
docs: /*
  2nd Law: Left-Identity
  'a.empty().concat(a)' is equivalent to 'a'