var NONE = function () {
      var eq = function (o) {
        return o.isNone();
      };
      var call = function (thunk) {