@fncts/base 0.0.21 → 0.0.23

package/_cjs/data/Cause/definition.cjs

@@ -3,298 +3,194 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports._Empty = exports.Unified = exports.Then = exports.Stackless = exports.Interrupt = exports.Halt = exports.Fail = exports.Empty = exports.CauseTypeId = exports.Cause = exports.Both = void 0;
+exports._Empty = exports.Unified = exports.Then = exports.Stackless = exports.Interrupt = exports.Halt = exports.Fail = exports.Empty = exports.CauseVariance = exports.CauseTypeId = exports.Cause = exports.Both = void 0;
 exports.isCause = isCause;
-
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Hashable/hash"));
-
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Hashable/definition"));
-
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Equatable/definition"));
-
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Hashable/hash"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Hashable/definition"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Equatable/definition"));
 var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/run"));
-
 var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/constructors"));
-
 var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/api"));
-
-var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Equatable/api"));
-
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Equatable/api"));
 var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/definition"));
-
 var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/api"));
-
 var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/api/unsafeTail"));
-
 var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/HashSet/api"));
-
 var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/constructors"));
-
 var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/api/foldLeft"));
-
 var P = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../../typeclass.cjs"));
-
 var _predicates = /*#__PURE__*/require("../../util/predicates.cjs");
-
 var _function = /*#__PURE__*/require("../function.cjs");
-
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
-
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
-
 var _a, _b, _c, _d, _e, _f, _g;
-
+const CauseVariance = /*#__PURE__*/Symbol.for("fncts.Cause.Variance");
+exports.CauseVariance = CauseVariance;
 const CauseTypeId = /*#__PURE__*/Symbol.for("fncts.Cause");
 exports.CauseTypeId = CauseTypeId;
 const Cause = {};
 exports.Cause = Cause;
-
 function isCause(u) {
   return (0, _predicates.isObject)(u) && CauseTypeId in u;
 }
-
 const _emptyHash = /*#__PURE__*/tsplus_module_1.hashString("fncts.Cause");
 /**
  * @tsplus companion fncts.Cause.EmptyOps
  */
-
-
 class Empty {
   constructor() {
     this[_a] = CauseTypeId;
-    this._tag = "Empty"
-    /* CauseTag.Empty */
-    ;
+    this._tag = "Empty" /* CauseTag.Empty */;
   }
 
   get [(_a = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return _emptyHash;
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && tsplus_module_4.run(this.equalsEval(that));
   }
-
   equalsEval(that) {
     switch (that._tag) {
-      case "Empty"
-      /* CauseTag.Empty */
-      :
+      case "Empty" /* CauseTag.Empty */:
         return tsplus_module_5.now(true);
-
-      case "Then"
-      /* CauseTag.Then */
-      :
-      case "Both"
-      /* CauseTag.Both */
-      :
+      case "Then" /* CauseTag.Then */:
+      case "Both" /* CauseTag.Both */:
         return tsplus_module_6.zipWith(this.equalsEval(that.right), (x, y) => x && y)(this.equalsEval(that.left));
-
-      case "Stackless"
-      /* CauseTag.Stackless */
-      :
+      case "Stackless" /* CauseTag.Stackless */:
         return this.equalsEval(that.cause);
-
       default:
         return tsplus_module_5.now(false);
     }
   }
-
 }
-
 exports.Empty = Empty;
-
 const _Empty = /*#__PURE__*/new Empty();
 /**
  * @tsplus companion fncts.Cause.FailOps
  */
-
-
 exports._Empty = _Empty;
-
 class Fail {
   constructor(value, trace) {
     this.value = value;
     this.trace = trace;
     this[_b] = CauseTypeId;
-    this._tag = "Fail"
-    /* CauseTag.Fail */
-    ;
+    this._tag = "Fail" /* CauseTag.Fail */;
   }
 
   get [(_b = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return tsplus_module_1.combineHash(tsplus_module_1.hashString(this._tag), tsplus_module_1.hashUnknown(this.value));
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && tsplus_module_4.run(this.equalsEval(that));
   }
-
   equalsEval(that) {
     // eslint-disable-next-line @typescript-eslint/no-this-alias
     const self = this;
     return tsplus_module_6.gen(function* (_) {
       switch (that._tag) {
-        case "Fail"
-        /* CauseTag.Fail */
-        :
+        case "Fail" /* CauseTag.Fail */:
           return tsplus_module_7.strictEquals(self.value, that.value);
-
-        case "Both"
-        /* CauseTag.Both */
-        :
-        case "Then"
-        /* CauseTag.Then */
-        :
+        case "Both" /* CauseTag.Both */:
+        case "Then" /* CauseTag.Then */:
           return yield* _(structuralSymmetric(structuralEqualEmpty)(self, that));
-
-        case "Stackless"
-        /* CauseTag.Stackless */
-        :
+        case "Stackless" /* CauseTag.Stackless */:
           return yield* _(self.equalsEval(that.cause));
-
         default:
           return false;
       }
     });
   }
-
 }
 /**
  * @tsplus companion fncts.Cause.HaltOps
  */
-
-
 exports.Fail = Fail;
-
 class Halt {
   constructor(value, trace) {
     this.value = value;
     this.trace = trace;
     this[_c] = CauseTypeId;
-    this._tag = "Halt"
-    /* CauseTag.Halt */
-    ;
+    this._tag = "Halt" /* CauseTag.Halt */;
   }
 
   get [(_c = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return tsplus_module_1.combineHash(tsplus_module_1.hashString(this._tag), tsplus_module_1.hashUnknown(this.value));
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && tsplus_module_4.run(this.equalsEval(that));
   }
-
   equalsEval(that) {
     // eslint-disable-next-line @typescript-eslint/no-this-alias
     const self = this;
     return tsplus_module_6.gen(function* (_) {
       switch (that._tag) {
-        case "Halt"
-        /* CauseTag.Halt */
-        :
+        case "Halt" /* CauseTag.Halt */:
           return tsplus_module_7.strictEquals(self.value, that.value);
-
-        case "Then"
-        /* CauseTag.Then */
-        :
-        case "Both"
-        /* CauseTag.Both */
-        :
+        case "Then" /* CauseTag.Then */:
+        case "Both" /* CauseTag.Both */:
           return yield* _(structuralSymmetric(structuralEqualEmpty)(self, that));
-
-        case "Stackless"
-        /* CauseTag.Stackless */
-        :
+        case "Stackless" /* CauseTag.Stackless */:
           return yield* _(self.equalsEval(that.cause));
-
         default:
           return false;
       }
     });
   }
-
 }
 /**
  * @tsplus companion fncts.Cause.InterruptOps
  */
-
-
 exports.Halt = Halt;
-
 class Interrupt {
   constructor(id, trace) {
     this.id = id;
     this.trace = trace;
     this[_d] = CauseTypeId;
-    this._tag = "Interrupt"
-    /* CauseTag.Interrupt */
-    ;
+    this._tag = "Interrupt" /* CauseTag.Interrupt */;
   }
 
   get [(_d = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return tsplus_module_1.combineHash(tsplus_module_1.hashString(this._tag), tsplus_module_1.hashUnknown(this.id));
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && tsplus_module_4.run(this.equalsEval(that));
   }
-
   equalsEval(that) {
     // eslint-disable-next-line @typescript-eslint/no-this-alias
     const self = this;
     return tsplus_module_6.gen(function* (_) {
       switch (that._tag) {
-        case "Interrupt"
-        /* CauseTag.Interrupt */
-        :
+        case "Interrupt" /* CauseTag.Interrupt */:
           return tsplus_module_7.strictEquals(self.id, that.id);
-
-        case "Then"
-        /* CauseTag.Then */
-        :
-        case "Both"
-        /* CauseTag.Both */
-        :
+        case "Then" /* CauseTag.Then */:
+        case "Both" /* CauseTag.Both */:
           return yield* _(structuralSymmetric(structuralEqualEmpty)(self, that));
-
-        case "Stackless"
-        /* CauseTag.Stackless */
-        :
+        case "Stackless" /* CauseTag.Stackless */:
           return yield* _(self.equalsEval(that.cause));
-
         default:
           return false;
       }
     });
   }
-
 }
 /**
  * @tsplus companion fncts.Cause.ThenOps
  */
-
-
 exports.Interrupt = Interrupt;
-
 class Then {
   constructor(left, right) {
     this.left = left;
     this.right = right;
     this[_e] = CauseTypeId;
-    this._tag = "Then"
-    /* CauseTag.Then */
-    ;
+    this._tag = "Then" /* CauseTag.Then */;
   }
 
   get [(_e = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return hashCode(this);
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && tsplus_module_4.run(this.equalsEval(that));
   }
-
   equalsEval(that) {
     // eslint-disable-next-line @typescript-eslint/no-this-alias
     const self = this;
@@ -302,33 +198,25 @@ class Then {
       return (yield* _(structuralEqualThen(self, that))) || (yield* _(structuralSymmetric(structuralThenAssociate)(self, that))) || (yield* _(structuralSymmetric(strcturalThenDistribute)(self, that))) || (yield* _(structuralSymmetric(structuralEqualEmpty)(self, that)));
     });
   }
-
 }
 /**
  * @tsplus companion fncts.Cause.BothOps
  */
-
-
 exports.Then = Then;
-
 class Both {
   constructor(left, right) {
     this.left = left;
     this.right = right;
     this[_f] = CauseTypeId;
-    this._tag = "Both"
-    /* CauseTag.Both */
-    ;
+    this._tag = "Both" /* CauseTag.Both */;
   }
 
   get [(_f = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return hashCode(this);
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && tsplus_module_4.run(this.equalsEval(that));
   }
-
   equalsEval(that) {
     // eslint-disable-next-line @typescript-eslint/no-this-alias
     const self = this;
@@ -336,75 +224,51 @@ class Both {
       return (yield* _(structuralEqualBoth(self, that))) || (yield* _(structuralSymmetric(structuralBothAssociate)(self, that))) || (yield* _(structuralSymmetric(structuralBothDistribute)(self, that))) || (yield* _(structuralSymmetric(structuralEqualEmpty)(self, that)));
     });
   }
-
 }
 /**
  * @tsplus companion fncts.Cause.StacklessOps
  */
-
-
 exports.Both = Both;
-
 class Stackless {
   constructor(cause, stackless) {
     this.cause = cause;
     this.stackless = stackless;
     this[_g] = CauseTypeId;
-    this._tag = "Stackless"
-    /* CauseTag.Stackless */
-    ;
+    this._tag = "Stackless" /* CauseTag.Stackless */;
   }
 
   get [(_g = CauseTypeId, tsplus_module_2.hashSymbol)]() {
     return this.cause[tsplus_module_2.hashSymbol];
   }
-
   [tsplus_module_3.equalsSymbol](that) {
     return isCause(that) && this.cause[tsplus_module_3.equalsSymbol](that);
   }
-
   equalsEval(that) {
     return tsplus_module_5.now(this[tsplus_module_3.equalsSymbol](that));
   }
-
 }
-
 exports.Stackless = Stackless;
-
 class Unified {
   constructor(fiberId, message, trace) {
     this.fiberId = fiberId;
     this.message = message;
     this.trace = trace;
   }
-
 }
 /*
  * -------------------------------------------------------------------------------------------------
  * structural equality internals
  * -------------------------------------------------------------------------------------------------
  */
-
-
 exports.Unified = Unified;
-
 function structuralSymmetric(f) {
   return (x, y) => tsplus_module_6.zipWith(f(y, x), (a, b) => a || b)(f(x, y));
 }
-
 function structuralEqualEmpty(l, r) {
-  if (l._tag === "Then"
-  /* CauseTag.Then */
-  || l._tag === "Both"
-  /* CauseTag.Both */
-  ) {
-    if (l.left._tag === "Empty"
-    /* CauseTag.Empty */
-    ) {
+  if (l._tag === "Then" /* CauseTag.Then */ || l._tag === "Both" /* CauseTag.Both */) {
+    if (l.left._tag === "Empty" /* CauseTag.Empty */) {
       return l.right.equalsEval(r);
-    } else if (l.right._tag === "Empty"
-    /* CauseTag.Empty */
-    ) {
+    } else if (l.right._tag === "Empty" /* CauseTag.Empty */) {
       return l.left.equalsEval(r);
     } else {
       return tsplus_module_5.now(false);
@@ -413,117 +277,47 @@ function structuralEqualEmpty(l, r) {
     return tsplus_module_5.now(false);
   }
 }
-
 function structuralThenAssociate(l, r) {
-  if (l._tag === "Then"
-  /* CauseTag.Then */
-  && l.left._tag === "Then"
-  /* CauseTag.Then */
-  && r._tag === "Then"
-  /* CauseTag.Then */
-  && r.right._tag === "Then"
-  /* CauseTag.Then */
-  ) {
+  if (l._tag === "Then" /* CauseTag.Then */ && l.left._tag === "Then" /* CauseTag.Then */ && r._tag === "Then" /* CauseTag.Then */ && r.right._tag === "Then" /* CauseTag.Then */) {
     return tsplus_module_6.and(l.right.equalsEval(r.right.right))(tsplus_module_6.and(l.left.right.equalsEval(r.right.left))(l.left.left.equalsEval(r.left)));
   } else {
     return tsplus_module_5.now(false);
   }
 }
-
 function strcturalThenDistribute(l, r) {
-  if (l._tag === "Then"
-  /* CauseTag.Then */
-  && l.right._tag === "Both"
-  /* CauseTag.Both */
-  && r._tag === "Both"
-  /* CauseTag.Both */
-  && r.right._tag === "Then"
-  /* CauseTag.Then */
-  && r.left._tag === "Then"
-  /* CauseTag.Then */
-  ) {
+  if (l._tag === "Then" /* CauseTag.Then */ && l.right._tag === "Both" /* CauseTag.Both */ && r._tag === "Both" /* CauseTag.Both */ && r.right._tag === "Then" /* CauseTag.Then */ && r.left._tag === "Then" /* CauseTag.Then */) {
     return tsplus_module_6.and(l.right.right.equalsEval(r.right.right))(tsplus_module_6.and(l.right.left.equalsEval(r.left.right))(tsplus_module_6.and(l.left.equalsEval(r.left.left))(r.left.left.equalsEval(r.right.left))));
-  } else if (l._tag === "Then"
-  /* CauseTag.Then */
-  && l.left._tag === "Both"
-  /* CauseTag.Both */
-  && r._tag === "Both"
-  /* CauseTag.Both */
-  && r.left._tag === "Then"
-  /* CauseTag.Then */
-  && r.right._tag === "Then"
-  /* CauseTag.Then */
-  ) {
+  } else if (l._tag === "Then" /* CauseTag.Then */ && l.left._tag === "Both" /* CauseTag.Both */ && r._tag === "Both" /* CauseTag.Both */ && r.left._tag === "Then" /* CauseTag.Then */ && r.right._tag === "Then" /* CauseTag.Then */) {
     return tsplus_module_6.and(l.right.equalsEval(r.left.right))(tsplus_module_6.and(l.left.right.equalsEval(r.right.left))(tsplus_module_6.and(l.left.left.equalsEval(r.left.left))(r.left.right.equalsEval(r.right.right))));
   } else {
     return tsplus_module_5.now(false);
   }
 }
-
 function structuralEqualThen(l, r) {
-  if (l._tag === "Then"
-  /* CauseTag.Then */
-  && r._tag === "Then"
-  /* CauseTag.Then */
-  ) {
+  if (l._tag === "Then" /* CauseTag.Then */ && r._tag === "Then" /* CauseTag.Then */) {
     return tsplus_module_6.zipWith(l.right.equalsEval(r.right), (a, b) => a && b)(l.left.equalsEval(r.left));
   } else {
     return tsplus_module_5.now(false);
   }
 }
-
 function structuralBothAssociate(l, r) {
-  if (l._tag === "Both"
-  /* CauseTag.Both */
-  && l.left._tag === "Both"
-  /* CauseTag.Both */
-  && r._tag === "Both"
-  /* CauseTag.Both */
-  && r.right._tag === "Both"
-  /* CauseTag.Both */
-  ) {
+  if (l._tag === "Both" /* CauseTag.Both */ && l.left._tag === "Both" /* CauseTag.Both */ && r._tag === "Both" /* CauseTag.Both */ && r.right._tag === "Both" /* CauseTag.Both */) {
     return tsplus_module_6.and(l.right.equalsEval(r.right.right))(tsplus_module_6.and(l.left.right.equalsEval(r.right.left))(l.left.left.equalsEval(r.left)));
   } else {
     return tsplus_module_5.now(false);
   }
 }
-
 function structuralBothDistribute(l, r) {
-  if (l._tag === "Both"
-  /* CauseTag.Both */
-  && l.left._tag === "Then"
-  /* CauseTag.Then */
-  && l.right._tag === "Then"
-  /* CauseTag.Then */
-  && r._tag === "Then"
-  /* CauseTag.Then */
-  && r.right._tag === "Both"
-  /* CauseTag.Both */
-  ) {
+  if (l._tag === "Both" /* CauseTag.Both */ && l.left._tag === "Then" /* CauseTag.Then */ && l.right._tag === "Then" /* CauseTag.Then */ && r._tag === "Then" /* CauseTag.Then */ && r.right._tag === "Both" /* CauseTag.Both */) {
     return tsplus_module_6.and(l.right.right.equalsEval(r.right.right))(tsplus_module_6.and(l.left.right.equalsEval(r.right.left))(tsplus_module_6.and(l.left.left.equalsEval(r.left))(l.left.left.equalsEval(l.right.left))));
-  } else if (l._tag === "Both"
-  /* CauseTag.Both */
-  && l.left._tag === "Then"
-  /* CauseTag.Then */
-  && l.right._tag === "Then"
-  /* CauseTag.Then */
-  && r._tag === "Then"
-  /* CauseTag.Then */
-  && r.left._tag === "Both"
-  /* CauseTag.Both */
-  ) {
+  } else if (l._tag === "Both" /* CauseTag.Both */ && l.left._tag === "Then" /* CauseTag.Then */ && l.right._tag === "Then" /* CauseTag.Then */ && r._tag === "Then" /* CauseTag.Then */ && r.left._tag === "Both" /* CauseTag.Both */) {
     return tsplus_module_6.and(l.left.right.equalsEval(r.right))(tsplus_module_6.and(l.right.left.equalsEval(r.left.right))(tsplus_module_6.and(l.left.left.equalsEval(r.left.left))(l.left.right.equalsEval(l.right.right))));
   } else {
     return tsplus_module_5.now(false);
   }
 }
-
 function structuralEqualBoth(l, r) {
-  if (l._tag === "Both"
-  /* CauseTag.Both */
-  && r._tag === "Both"
-  /* CauseTag.Both */
-  ) {
+  if (l._tag === "Both" /* CauseTag.Both */ && r._tag === "Both" /* CauseTag.Both */) {
     return tsplus_module_6.zipWith(l.right.equalsEval(r.right), (a, b) => a && b)(l.left.equalsEval(r.left));
   } else {
     return tsplus_module_5.now(false);
@@ -534,16 +328,12 @@ function structuralEqualBoth(l, r) {
  * hash internals
  * -------------------------------------------------------------------------------------------------
  */
-
-
 function stepLoop(cause, stack, parallel, sequential) {
   // eslint-disable-next-line no-constant-condition
   while (1) {
     /* eslint-disable no-param-reassign */
     switch (cause._tag) {
-      case "Empty"
-      /* CauseTag.Empty */
-      :
+      case "Empty" /* CauseTag.Empty */:
         {
           if (tsplus_module_8.isEmpty(stack)) {
             return (0, _function.tuple)(parallel, sequential);
@@ -551,61 +341,42 @@ function stepLoop(cause, stack, parallel, sequential) {
             cause = tsplus_module_9.unsafeHead(stack);
             stack = tsplus_module_10.unsafeTail(stack);
           }
-
           break;
         }
-
-      case "Then"
-      /* CauseTag.Then */
-      :
+      case "Then" /* CauseTag.Then */:
         {
           const left = cause.left;
           const right = cause.right;
-
           switch (left._tag) {
-            case "Empty"
-            /* CauseTag.Empty */
-            :
+            case "Empty" /* CauseTag.Empty */:
               {
                 cause = right;
                 break;
               }
-
-            case "Then"
-            /* CauseTag.Then */
-            :
+            case "Then" /* CauseTag.Then */:
               {
                 cause = new Then(left.left, new Then(left.right, right));
                 break;
               }
-
-            case "Both"
-            /* CauseTag.Both */
-            :
+            case "Both" /* CauseTag.Both */:
               {
                 cause = new Both(new Then(left.left, right), new Then(left.right, right));
                 break;
               }
-
             default:
               {
                 cause = left;
                 sequential = tsplus_module_9.prepend(right)(sequential);
               }
           }
-
           break;
         }
-
-      case "Both"
-      /* CauseTag.Both */
-      :
+      case "Both" /* CauseTag.Both */:
         {
           stack = tsplus_module_9.prepend(cause.right)(stack);
           cause = cause.left;
           break;
         }
-
       default:
         {
           if (tsplus_module_8.isEmpty(stack)) {
@@ -619,24 +390,21 @@ function stepLoop(cause, stack, parallel, sequential) {
         }
     }
   }
-
   throw new Error("BUG");
   /* eslint-enable no-param-reassign */
 }
 
 function step(cause) {
-  return stepLoop(cause, tsplus_module_12.nil(), tsplus_module_11.makeDefault(), tsplus_module_12.nil());
+  return stepLoop(cause, tsplus_module_12.nil(), tsplus_module_11.empty(), tsplus_module_12.nil());
 }
-
 function flattenLoop(causes, flattened) {
   // eslint-disable-next-line no-constant-condition
   while (1) {
-    const [parallel, sequential] = tsplus_module_13.foldLeft((0, _function.tuple)(tsplus_module_11.makeDefault(), tsplus_module_12.empty()), ([parallel, sequential], cause) => {
+    const [parallel, sequential] = tsplus_module_13.foldLeft((0, _function.tuple)(tsplus_module_11.empty(), tsplus_module_12.empty()), ([parallel, sequential], cause) => {
       const [set, seq] = step(cause);
       return (0, _function.tuple)(tsplus_module_11.union(set)(parallel), tsplus_module_9.concat(seq)(sequential));
     })(causes);
     const updated = parallel.size > 0 ? tsplus_module_9.prepend(parallel)(flattened) : flattened;
-
     if (tsplus_module_8.isEmpty(sequential)) {
       return tsplus_module_9.reverse(updated);
     } else {
@@ -649,16 +417,13 @@ function flattenLoop(causes, flattened) {
 
   throw new Error("BUG");
 }
-
 function flat(cause) {
   return flattenLoop(tsplus_module_12.cons(cause, tsplus_module_12.empty()), tsplus_module_12.empty());
 }
-
 function hashCode(cause) {
   const flattened = flat(cause);
   const size = tsplus_module_9.length(flattened);
   let head;
-
   if (size === 0) {
     return _emptyHash;
   } else if (size === 1 && (head = tsplus_module_9.unsafeHead(flattened)) && head.size === 1) {