code: function typeVarPred(arity) {
      var filter = arityGte (arity);
      return function(env) {
        var test2 = _test (env);
        return function(x) {
          var test1 = test2 (x);
          return env.some (function(t) { return filter (t) && test1 (t); });
        };
      };
    }
docs: typeVarPred :: NonNegativeInteger -> Array Type -> Any -> Boolean