@fncts/base 0.0.22 → 0.0.23

package/_mjs/data/These/definition.mjs

@@ -1,3 +1,4 @@
+var _a, _b, _c;
 import * as tsplus_module_1 from "@fncts/base/util/predicates";
 export const TheseTypeId = /*#__PURE__*/Symbol.for("fncts.data.These");
 /**
@@ -6,20 +7,24 @@ export const TheseTypeId = /*#__PURE__*/Symbol.for("fncts.data.These");
 export class Left {
   constructor(left) {
     this.left = left;
-    this._typeId = TheseTypeId;
+    this[_a] = TheseTypeId;
     this._tag = "Left" /* TheseTag.Left */;
   }
 }
+
+_a = TheseTypeId;
 /**
  * @tsplus type fncts.These.Right
  */
 export class Right {
   constructor(right) {
     this.right = right;
-    this._typeId = TheseTypeId;
+    this[_b] = TheseTypeId;
     this._tag = "Right" /* TheseTag.Right */;
   }
 }
+
+_b = TheseTypeId;
 /**
  * @tsplus type fncts.These.Both
  */
@@ -27,16 +32,17 @@ export class Both {
   constructor(left, right) {
     this.left = left;
     this.right = right;
-    this._typeId = TheseTypeId;
+    this[_c] = TheseTypeId;
     this._tag = "Both" /* TheseTag.Both */;
   }
 }
 
+_c = TheseTypeId;
 export const These = {};
 /**
  * @tsplus static fncts.TheseOps isThese
  */
 export function isThese(u) {
-  return tsplus_module_1.hasTypeId(u, TheseTypeId);
+  return tsplus_module_1.isObject(u) && TheseTypeId in u;
 }
 //# sourceMappingURL=definition.mjs.map

package/_mjs/data/These/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";AAMA,OAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAG,CAAC,kBAAkB,CAAC;AAGzD;;;AAGA,OAAM,MAAOC,IAAI;EAGfC,YAAqBC,IAAO;IAAP,SAAI,GAAJA,IAAI;IAFhB,YAAO,GAAgBL,WAAW;IAClC,SAAI;EACkB;;AAGjC;;;AAGA,OAAM,MAAOM,KAAK;EAGhBF,YAAqBG,KAAQ;IAAR,UAAK,GAALA,KAAK;IAFjB,YAAO,GAAgBP,WAAW;IAClC,SAAI;EACmB;;AAGlC;;;AAGA,OAAM,MAAOQ,IAAI;EAGfJ,YAAqBC,IAAO,EAAWE,KAAQ;IAA1B,SAAI,GAAJF,IAAI;IAAc,UAAK,GAALE,KAAK;IAFnC,YAAO,GAAgBP,WAAW;IAClC,SAAI;EACqC;;;AAapD,OAAO,MAAMS,KAAK,GAAa,EAAE;AAEjC;;;AAGA,OAAM,SAAUC,OAAO,CAACC,CAAU;EAChC,OAAOC,yBAAS,CAACD,CAAC,EAAEX,WAAW,CAAC;AAClC","names":["TheseTypeId","Symbol","for","Left","constructor","left","Right","right","Both","These","isThese","u","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/These/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;AAMA,OAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAG,CAAC,kBAAkB,CAAC;AAGzD;;;AAGA,OAAM,MAAOC,IAAI;EAGfC,YAAqBC,IAAO;IAAP,SAAI,GAAJA,IAAI;IAFhB,QAAa,GAAgBL,WAAW;IACxC,SAAI;EACkB;;;KAFrBA,WAAW;AAKvB;;;AAGA,OAAM,MAAOM,KAAK;EAGhBF,YAAqBG,KAAQ;IAAR,UAAK,GAALA,KAAK;IAFjB,QAAa,GAAgBP,WAAW;IACxC,SAAI;EACmB;;;KAFtBA,WAAW;AAKvB;;;AAGA,OAAM,MAAOQ,IAAI;EAGfJ,YAAqBC,IAAO,EAAWE,KAAQ;IAA1B,SAAI,GAAJF,IAAI;IAAc,UAAK,GAALE,KAAK;IAFnC,QAAa,GAAgBP,WAAW;IACxC,SAAI;EACqC;;;KAFxCA,WAAW;AAevB,OAAO,MAAMS,KAAK,GAAa,EAAE;AAEjC;;;AAGA,OAAM,SAAUC,OAAO,CAACC,CAAU;EAChC,OAAOC,wBAAQ,CAACD,CAAC,CAAC,IAAIX,WAAW,IAAIW,CAAC;AACxC","names":["TheseTypeId","Symbol","for","Left","constructor","left","Right","right","Both","These","isThese","u","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/These/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/exceptions/InterruptedException.mjs

@@ -1,12 +1,14 @@
-import { hasTypeId } from "../../util/predicates.mjs";
+var _a;
+import * as tsplus_module_1 from "@fncts/base/util/predicates";
 export const InterruptedExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.InterruptedException");
 export class InterruptedException {
   constructor(message) {
     this.message = message;
-    this._typeId = InterruptedExceptionTypeId;
+    this[_a] = InterruptedExceptionTypeId;
   }
 }
+_a = InterruptedExceptionTypeId;
 export function isInterruptedException(u) {
-  return hasTypeId(u, InterruptedExceptionTypeId);
+  return tsplus_module_1.isObject(u) && InterruptedExceptionTypeId in u;
 }
 //# sourceMappingURL=InterruptedException.mjs.map

package/_mjs/data/exceptions/InterruptedException.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"InterruptedException.mjs","mappings":"AAAA,SAASA,SAAS,QAAQ,2BAA0B;AAEpD,OAAO,MAAMC,0BAA0B,gBAAGC,MAAM,CAACC,GAAG,CAAC,4BAA4B,CAAC;AAGlF,OAAM,MAAOC,oBAAoB;EAE/BC,YAAqBC,OAAgB;IAAhB,YAAO,GAAPA,OAAO;IADnB,YAAO,GAA+BL,0BAA0B;EACjC;;AAG1C,OAAM,SAAUM,sBAAsB,CAACC,CAAU;EAC/C,OAAOR,SAAS,CAACQ,CAAC,EAAEP,0BAA0B,CAAC;AACjD","names":["hasTypeId","InterruptedExceptionTypeId","Symbol","for","InterruptedException","constructor","message","isInterruptedException","u"],"sourceRoot":"","sources":["../../../_src/data/exceptions/InterruptedException.ts"],"sourcesContent":[null]}
+{"version":3,"file":"InterruptedException.mjs","mappings":";;AAAA,OAAO,MAAMA,0BAA0B,gBAAGC,MAAM,CAACC,GAAG,CAAC,4BAA4B,CAAC;AAGlF,OAAM,MAAOC,oBAAoB;EAE/BC,YAAqBC,OAAgB;IAAhB,YAAO,GAAPA,OAAO;IADnB,QAA4B,GAA+BL,0BAA0B;EACtD;;KAD9BA,0BAA0B;AAItC,OAAM,SAAUM,sBAAsB,CAACC,CAAU;EAC/C,OAAOC,wBAAQ,CAACD,CAAC,CAAC,IAAIP,0BAA0B,IAAIO,CAAC;AACvD","names":["InterruptedExceptionTypeId","Symbol","for","InterruptedException","constructor","message","isInterruptedException","u","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/exceptions/InterruptedException.ts"],"sourcesContent":[null]}

package/_mjs/util/predicates.mjs

@@ -26,7 +26,7 @@ export function isObject(value) {
   return typeof value === "object" && value !== null;
 }
 export function hasTypeId(value, typeId) {
-  return isObject(value) && "_typeId" in value && value["_typeId"] === typeId;
+  return isObject(value) && typeId in value;
 }
 export function isFunction(value) {
   return typeof value === "function";

package/_mjs/util/predicates.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"predicates.mjs","mappings":"AAEA,OAAM,SAAUA,SAAS,CAAIC,KAAoB;EAC/C,OAAOA,KAAK,KAAKC,SAAS;AAC5B;AAEA,OAAM,SAAUC,WAAW,CAAIF,KAAoB;EACjD,OAAOA,KAAK,KAAKC,SAAS;AAC5B;AAEA,OAAM,SAAUE,SAAS,CAAIH,KAAe;EAC1C,OAAOA,KAAK,KAAK,IAAI;AACvB;AAEA,OAAM,SAAUI,MAAM,CAAIJ,KAAe;EACvC,OAAOA,KAAK,KAAK,IAAI;AACvB;AAEA,OAAM,SAAUK,aAAa,CAAIL,KAA2B;EAC1D,OAAOA,KAAK,IAAI,IAAI;AACtB;AAEA,OAAM,SAAUM,UAAU,CAAIN,KAA2B;EACvD,OAAOA,KAAK,IAAI,IAAI;AACtB;AAEA,OAAM,SAAUO,UAAU,CAAIP,KAAc;EAC1C,OAAOQ,QAAQ,CAACR,KAAK,CAAC,IAAIS,MAAM,CAACC,QAAQ,IAAIV,KAAK;AACpD;AAIA,OAAM,SAAUW,OAAO,CAACX,KAAc;EACpC,OAAOY,KAAK,CAACD,OAAO,CAACX,KAAK,CAAC;AAC7B;AAKA,OAAM,SAAUQ,QAAQ,CAAIR,KAAoB;EAC9C,OAAO,OAAOA,KAAK,KAAK,QAAQ,IAAIA,KAAK,KAAK,IAAI;AACpD;AAEA,OAAM,SAAUa,SAAS,CACvBb,KAAc,EACdc,MAAS;EAIT,OAAON,QAAQ,CAACR,KAAK,CAAC,IAAI,SAAS,IAAIA,KAAK,IAAIA,KAAK,CAAC,SAAS,CAAC,KAAKc,MAAM;AAC7E;AAEA,OAAM,SAAUC,UAAU,CAACf,KAAc;EACvC,OAAO,OAAOA,KAAK,KAAK,UAAU;AACpC;AAEA,OAAM,SAAUgB,SAAS,CAAChB,KAAc;EACtC,OAAO,OAAOA,KAAK,KAAK,SAAS;AACnC;AAEA,OAAM,SAAUiB,QAAQ,CAACjB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUkB,QAAQ,CAAClB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUmB,QAAQ,CAACnB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUoB,MAAM,CAACC,CAAU;EAC/B,OAAO,OAAOA,CAAC,KAAK,QAAQ,IAAIC,MAAM,CAACC,SAAS,CAACF,CAAC,CAAC,IAAIA,CAAC,IAAI,CAAC,IAAIA,CAAC,IAAI,GAAG;AAC3E;AAEA,OAAM,SAAUG,QAAQ,CAACxB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUyB,OAAO,CAACzB,KAAc;EACpC,OAAOQ,QAAQ,CAACR,KAAK,CAAC,IAAIA,KAAK,CAAC0B,WAAW,KAAKC,MAAM;AACxD;AAEA,OAAM,SAAUC,YAAY,CAA8BC,IAAO;EAC/D,OAAQ7B,KAAK,IAAiBA,KAAK,YAAY6B,IAAI;AACrD;AAEA,OAAM,SAAUC,KAAK,CAACC,CAAU;EAC9B,OAAOA,CAAC,YAAYC,GAAG;AACzB;AAEA,OAAM,SAAUC,SAAS,CAACF,CAAU;EAClC,OAAOA,CAAC,YAAYG,OAAO;AAC7B;AAEA,OAAM,SAAUC,SAAS,CAACJ,CAAU;EAClC,OAAOA,CAAC,YAAYK,OAAO;AAC7B;AAEA,OAAM,SAAUC,KAAK,CAACN,CAAU;EAC9B,OAAOA,CAAC,YAAYO,GAAG;AACzB;AAEA,OAAM,SAAUC,SAAS,CAACR,CAAU;EAClC,OAAOA,CAAC,YAAYS,OAAO;AAC7B;AAEA,OAAM,SAAUC,MAAM,CAACV,CAAU;EAC/B,OAAOA,CAAC,YAAYW,IAAI;AAC1B;AAeA,MAAMC,qBAAqB,gBAAGhB,MAAM,CAACiB,cAAc,CAACC,UAAU,CAAC;AAE/D,OAAM,SAAUC,YAAY,CAACf,CAAU;EACrC,OAAOA,CAAC,YAAYY,qBAAqB;AAC3C;AAEA,OAAM,SAAUI,QAAQ,CAAChB,CAAU;EACjC,OAAOvB,QAAQ,CAACuB,CAAC,CAAC,KAAKiB,MAAM,CAACjB,CAAC,CAAC,KAAK,iBAAiB,IAAIA,CAAC,YAAYkB,MAAM,CAAC;AAChF;AAEA,OAAM,SAAUC,gBAAgB,CAACnB,CAAU;EACzC,OAAOA,CAAC,YAAYoB,WAAW,IAAIpB,CAAC,YAAYqB,iBAAiB;AACnE;AAEA,OAAM,SAAUC,aAAa,CAACtB,CAAU;EACtC,OAAOA,CAAC,YAAYoB,WAAW;AACjC;AAEA,OAAM,SAAUG,UAAU,CAACvB,CAAU;EACnC,OAAOA,CAAC,YAAYwB,QAAQ;AAC9B;AAEA,SAASP,MAAM,CAAChD,KAAa;EAC3B,OAAO2B,MAAM,CAAC6B,SAAS,CAACC,QAAQ,CAACC,IAAI,CAAC1D,KAAK,CAAC;AAC9C","names":["isDefined","value","undefined","isUndefined","isNonNull","isNull","isNonNullable","isNullable","isIterable","isObject","Symbol","iterator","isArray","Array","hasTypeId","typeId","isFunction","isBoolean","isString","isNumber","isBigInt","isByte","n","Number","isInteger","isSymbol","isPlain","constructor","Object","isInstanceOf","type","isMap","u","Map","isWeakMap","WeakMap","isPromise","Promise","isSet","Set","isWeakSet","WeakSet","isDate","Date","TypedArrayConstructor","getPrototypeOf","Uint8Array","isTypedArray","isRegExp","getTag","RegExp","isAnyArrayBuffer","ArrayBuffer","SharedArrayBuffer","isArrayBuffer","isDataView","DataView","prototype","toString","call"],"sourceRoot":"","sources":["../../_src/util/predicates.ts"],"sourcesContent":[null]}
+{"version":3,"file":"predicates.mjs","mappings":"AAEA,OAAM,SAAUA,SAAS,CAAIC,KAAoB;EAC/C,OAAOA,KAAK,KAAKC,SAAS;AAC5B;AAEA,OAAM,SAAUC,WAAW,CAAIF,KAAoB;EACjD,OAAOA,KAAK,KAAKC,SAAS;AAC5B;AAEA,OAAM,SAAUE,SAAS,CAAIH,KAAe;EAC1C,OAAOA,KAAK,KAAK,IAAI;AACvB;AAEA,OAAM,SAAUI,MAAM,CAAIJ,KAAe;EACvC,OAAOA,KAAK,KAAK,IAAI;AACvB;AAEA,OAAM,SAAUK,aAAa,CAAIL,KAA2B;EAC1D,OAAOA,KAAK,IAAI,IAAI;AACtB;AAEA,OAAM,SAAUM,UAAU,CAAIN,KAA2B;EACvD,OAAOA,KAAK,IAAI,IAAI;AACtB;AAEA,OAAM,SAAUO,UAAU,CAAIP,KAAc;EAC1C,OAAOQ,QAAQ,CAACR,KAAK,CAAC,IAAIS,MAAM,CAACC,QAAQ,IAAIV,KAAK;AACpD;AAIA,OAAM,SAAUW,OAAO,CAACX,KAAc;EACpC,OAAOY,KAAK,CAACD,OAAO,CAACX,KAAK,CAAC;AAC7B;AAKA,OAAM,SAAUQ,QAAQ,CAAIR,KAAoB;EAC9C,OAAO,OAAOA,KAAK,KAAK,QAAQ,IAAIA,KAAK,KAAK,IAAI;AACpD;AAEA,OAAM,SAAUa,SAAS,CACvBb,KAAc,EACdc,MAAS;EAIT,OAAON,QAAQ,CAACR,KAAK,CAAC,IAAIc,MAAM,IAAId,KAAK;AAC3C;AAEA,OAAM,SAAUe,UAAU,CAACf,KAAc;EACvC,OAAO,OAAOA,KAAK,KAAK,UAAU;AACpC;AAEA,OAAM,SAAUgB,SAAS,CAAChB,KAAc;EACtC,OAAO,OAAOA,KAAK,KAAK,SAAS;AACnC;AAEA,OAAM,SAAUiB,QAAQ,CAACjB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUkB,QAAQ,CAAClB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUmB,QAAQ,CAACnB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUoB,MAAM,CAACC,CAAU;EAC/B,OAAO,OAAOA,CAAC,KAAK,QAAQ,IAAIC,MAAM,CAACC,SAAS,CAACF,CAAC,CAAC,IAAIA,CAAC,IAAI,CAAC,IAAIA,CAAC,IAAI,GAAG;AAC3E;AAEA,OAAM,SAAUG,QAAQ,CAACxB,KAAc;EACrC,OAAO,OAAOA,KAAK,KAAK,QAAQ;AAClC;AAEA,OAAM,SAAUyB,OAAO,CAACzB,KAAc;EACpC,OAAOQ,QAAQ,CAACR,KAAK,CAAC,IAAIA,KAAK,CAAC0B,WAAW,KAAKC,MAAM;AACxD;AAEA,OAAM,SAAUC,YAAY,CAA8BC,IAAO;EAC/D,OAAQ7B,KAAK,IAAiBA,KAAK,YAAY6B,IAAI;AACrD;AAEA,OAAM,SAAUC,KAAK,CAACC,CAAU;EAC9B,OAAOA,CAAC,YAAYC,GAAG;AACzB;AAEA,OAAM,SAAUC,SAAS,CAACF,CAAU;EAClC,OAAOA,CAAC,YAAYG,OAAO;AAC7B;AAEA,OAAM,SAAUC,SAAS,CAACJ,CAAU;EAClC,OAAOA,CAAC,YAAYK,OAAO;AAC7B;AAEA,OAAM,SAAUC,KAAK,CAACN,CAAU;EAC9B,OAAOA,CAAC,YAAYO,GAAG;AACzB;AAEA,OAAM,SAAUC,SAAS,CAACR,CAAU;EAClC,OAAOA,CAAC,YAAYS,OAAO;AAC7B;AAEA,OAAM,SAAUC,MAAM,CAACV,CAAU;EAC/B,OAAOA,CAAC,YAAYW,IAAI;AAC1B;AAeA,MAAMC,qBAAqB,gBAAGhB,MAAM,CAACiB,cAAc,CAACC,UAAU,CAAC;AAE/D,OAAM,SAAUC,YAAY,CAACf,CAAU;EACrC,OAAOA,CAAC,YAAYY,qBAAqB;AAC3C;AAEA,OAAM,SAAUI,QAAQ,CAAChB,CAAU;EACjC,OAAOvB,QAAQ,CAACuB,CAAC,CAAC,KAAKiB,MAAM,CAACjB,CAAC,CAAC,KAAK,iBAAiB,IAAIA,CAAC,YAAYkB,MAAM,CAAC;AAChF;AAEA,OAAM,SAAUC,gBAAgB,CAACnB,CAAU;EACzC,OAAOA,CAAC,YAAYoB,WAAW,IAAIpB,CAAC,YAAYqB,iBAAiB;AACnE;AAEA,OAAM,SAAUC,aAAa,CAACtB,CAAU;EACtC,OAAOA,CAAC,YAAYoB,WAAW;AACjC;AAEA,OAAM,SAAUG,UAAU,CAACvB,CAAU;EACnC,OAAOA,CAAC,YAAYwB,QAAQ;AAC9B;AAEA,SAASP,MAAM,CAAChD,KAAa;EAC3B,OAAO2B,MAAM,CAAC6B,SAAS,CAACC,QAAQ,CAACC,IAAI,CAAC1D,KAAK,CAAC;AAC9C","names":["isDefined","value","undefined","isUndefined","isNonNull","isNull","isNonNullable","isNullable","isIterable","isObject","Symbol","iterator","isArray","Array","hasTypeId","typeId","isFunction","isBoolean","isString","isNumber","isBigInt","isByte","n","Number","isInteger","isSymbol","isPlain","constructor","Object","isInstanceOf","type","isMap","u","Map","isWeakMap","WeakMap","isPromise","Promise","isSet","Set","isWeakSet","WeakSet","isDate","Date","TypedArrayConstructor","getPrototypeOf","Uint8Array","isTypedArray","isRegExp","getTag","RegExp","isAnyArrayBuffer","ArrayBuffer","SharedArrayBuffer","isArrayBuffer","isDataView","DataView","prototype","toString","call"],"sourceRoot":"","sources":["../../_src/util/predicates.ts"],"sourcesContent":[null]}

package/_src/collection/immutable/Conc/definition.ts

@@ -30,7 +30,7 @@ export interface ConcF extends HKT {
 export abstract class Conc<A> implements Iterable<A>, Hashable, Equatable {
   declare _A: () => A;
 
-  readonly _typeId: ConcTypeId = ConcTypeId;
+  readonly [ConcTypeId]: ConcTypeId = ConcTypeId;
   abstract readonly length: number;
   abstract [Symbol.iterator](): Iterator<A>;
 
@@ -44,7 +44,7 @@ export abstract class Conc<A> implements Iterable<A>, Hashable, Equatable {
 }
 
 abstract class ConcImplementation<A> implements Iterable<A> {
-  readonly _typeId: ConcTypeId = ConcTypeId;
+  readonly [ConcTypeId]: ConcTypeId = ConcTypeId;
   declare _A: () => A;
   get [Symbol.hash](): number {
     return Hashable.iterator(this[Symbol.iterator]());
@@ -731,7 +731,7 @@ export function fromArray<A>(array: ArrayLike<A>): ConcImplementation<A> {
 export function isConc<A>(u: Iterable<A>): u is Conc<A>;
 export function isConc(u: unknown): u is Conc<unknown>;
 export function isConc(u: unknown): u is Conc<unknown> {
-  return isObject(u) && "_typeId" in u && u["_typeId" as keyof typeof u] === ConcTypeId;
+  return isObject(u) && ConcTypeId in u;
 }
 
 /**

package/_src/collection/immutable/HashMap/definition.ts

@@ -13,18 +13,23 @@ export interface HashMapF extends HKT {
   index: this["K"];
 }
 
-export const TypeId = Symbol.for("fncts.HashMap");
-export type TypeId = typeof TypeId;
+export const HashMapVariance = Symbol.for("fncts.HashMap.Variance");
+export type HashMapVariance = typeof HashMapVariance;
+
+export const HashMapTypeId = Symbol.for("fncts.HashMap");
+export type HashMapTypeId = typeof HashMapTypeId;
 
 /**
  * @tsplus type fncts.HashMap
  * @tsplus companion fncts.HashMapOps
  */
-export class HashMap<K, V> implements Iterable<readonly [K, V]>, Hashable, Equatable {
-  readonly _typeId: TypeId = TypeId;
+export class HashMap<in out K, in out V> implements Iterable<readonly [K, V]>, Hashable, Equatable {
+  readonly [HashMapTypeId]: HashMapTypeId = HashMapTypeId;
 
-  declare _K: () => K;
-  declare _A: () => V;
+  declare [HashMapVariance]: {
+    readonly _K: (_: K) => K;
+    readonly _A: (_: V) => V;
+  };
 
   constructor(
     public editable: boolean,
@@ -59,7 +64,7 @@ export class HashMap<K, V> implements Iterable<readonly [K, V]>, Hashable, Equat
 export function isHashMap<K, V>(u: Iterable<readonly [K, V]>): u is HashMap<K, V>;
 export function isHashMap(u: unknown): u is HashMap<unknown, unknown>;
 export function isHashMap(u: unknown): u is HashMap<unknown, unknown> {
-  return hasTypeId(u, TypeId);
+  return isObject(u) && HashMapTypeId in u;
 }
 
 export class HashMapIterator<K, V, T> implements IterableIterator<T> {

package/_src/collection/immutable/HashSet/definition.ts

@@ -12,15 +12,21 @@ import {
 import { identity } from "@fncts/base/data/function";
 import * as P from "@fncts/base/typeclass";
 
-export const TypeId = Symbol.for("fncts.HashSet");
-export type TypeId = typeof TypeId;
+export const HashSetVariance = Symbol.for("fncts.HashSet.Variance");
+export type HashSetVariance = typeof HashSetVariance;
+
+export const HashSetTypeId = Symbol.for("fncts.HashSet");
+export type HashSetTypeId = typeof HashSetTypeId;
 
 /**
  * @tsplus type fncts.HashSet
  * @tsplus companion fncts.HashSetOps
  */
-export class HashSet<A> implements Iterable<A>, P.Hashable, P.Equatable {
-  readonly _typeId: TypeId = TypeId;
+export class HashSet<in out A> implements Iterable<A>, P.Hashable, P.Equatable {
+  readonly [HashSetTypeId]: HashSetTypeId = HashSetTypeId;
+  declare [HashSetVariance]: {
+    readonly _A: (_: A) => A;
+  };
 
   constructor(
     /**
@@ -72,7 +78,7 @@ export class HashSet<A> implements Iterable<A>, P.Hashable, P.Equatable {
 export function isHashSet<A>(u: Iterable<A>): u is HashSet<A>;
 export function isHashSet(u: unknown): u is HashSet<unknown>;
 export function isHashSet(u: unknown): u is HashSet<unknown> {
-  return hasTypeId(u, TypeId);
+  return isObject(u) && HashSetTypeId in u;
 }
 
 class HashSetIterator<A, T> implements IterableIterator<T> {

package/_src/collection/immutable/ImmutableArray/definition.ts

@@ -1,3 +1,6 @@
+export const ImmutableArrayVariance = Symbol.for("fncts.ImmutableArray.Variance");
+export type ImmutableArrayVariance = typeof ImmutableArrayVariance;
+
 export const ImmutableArrayTypeId = Symbol.for("fncts.ImmutableArray");
 export type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
 
@@ -14,8 +17,10 @@ export interface ImmutableArrayF extends HKT {
  * @tsplus companion fncts.ImmutableArrayOps
  */
 export class ImmutableArray<A> implements Equatable, Hashable, Iterable<A> {
-  readonly _typeId: ImmutableArrayTypeId = ImmutableArrayTypeId;
-  readonly _A!: () => A;
+  readonly [ImmutableArrayTypeId]: ImmutableArrayTypeId = ImmutableArrayTypeId;
+  declare [ImmutableArrayVariance]: {
+    readonly _A: (_: never) => A;
+  };
   constructor(readonly _array: ReadonlyArray<A>) {}
 
   [Symbol.equals](that: unknown): boolean {
@@ -39,5 +44,5 @@ export class ImmutableArray<A> implements Equatable, Hashable, Iterable<A> {
  * @tsplus static fncts.ImmutableArrayOps is
  */
 export function isImmutableArray(u: unknown): u is ImmutableArray<unknown> {
-  return hasTypeId(u, ImmutableArrayTypeId);
+  return isObject(u) && ImmutableArrayTypeId in u;
 }

package/_src/collection/immutable/RoseTree/definition.ts

@@ -1,3 +1,6 @@
+export const RoseTreeVariance = Symbol.for("fncts.RoseTree.Variance");
+export type RoseTreeVariance = typeof RoseTreeVariance;
+
 export const RoseTreeTypeId = Symbol.for("fncts.RoseTree");
 export type RoseTreeTypeId = typeof RoseTreeTypeId;
 
@@ -13,8 +16,10 @@ export interface RoseTreeF extends HKT {
  * @tsplus companion fncts.RoseTreeOps
  */
 export class RoseTree<A> implements Hashable, Equatable {
-  readonly _typeId: RoseTreeTypeId = RoseTreeTypeId;
-  declare _A: () => A;
+  readonly [RoseTreeTypeId]: RoseTreeTypeId = RoseTreeTypeId;
+  declare [RoseTreeVariance]: {
+    readonly _A: (_: never) => A;
+  };
   constructor(readonly value: A, readonly forest: Vector<RoseTree<A>>) {}
 
   [Symbol.equals](that: unknown): boolean {
@@ -30,5 +35,5 @@ export class RoseTree<A> implements Hashable, Equatable {
 }
 
 export function isRoseTree(u: unknown): u is RoseTree<unknown> {
-  return hasTypeId(u, RoseTreeTypeId);
+  return isObject(u) && RoseTreeTypeId in u;
 }

package/_src/collection/immutable/SortedMap/definition.ts

@@ -12,7 +12,7 @@ export type TypeId = typeof TypeId;
  * @tsplus companion fncts.SortedMapOps
  */
 export class SortedMap<K, V> implements SortedMapIterable<K, V> {
-  readonly _typeId: TypeId = TypeId;
+  readonly [TypeId]: TypeId = TypeId;
 
   constructor(readonly ord: Ord<K>, readonly root: RBNode<K, V>) {}
 

package/_src/collection/immutable/Vector/definition.ts

@@ -5,6 +5,9 @@ import type { Node } from "@fncts/base/collection/immutable/Vector/internal";
 import { foldLeftCb } from "@fncts/base/collection/immutable/Vector/internal";
 import { ForwardVectorIterator } from "@fncts/base/collection/immutable/Vector/internal";
 
+export const VectorVariance = Symbol.for("fncts.Vector.Variance");
+export type VectorVariance = typeof VectorVariance;
+
 export const VectorTypeId = Symbol.for("fncts.Vector");
 export type VectorTypeId = typeof VectorTypeId;
 
@@ -23,8 +26,10 @@ export interface VectorF extends HKT {
  * @tsplus companion fncts.VectorOps
  */
 export class Vector<A> implements Iterable<A> {
-  readonly _typeId: VectorTypeId = VectorTypeId;
-  readonly _A!: () => A;
+  readonly [VectorTypeId]: VectorTypeId = VectorTypeId;
+  declare [VectorVariance]: {
+    readonly _A: (_: never) => A;
+  };
   constructor(
     /** @private */
     readonly bits: number,
@@ -53,8 +58,10 @@ export class Vector<A> implements Iterable<A> {
  * @tsplus type fncts.MutableVector
  */
 export interface MutableVector<A> {
-  readonly _typeId: VectorTypeId;
-  readonly _A: () => A;
+  readonly [VectorTypeId]: VectorTypeId;
+  readonly [VectorVariance]: {
+    readonly _A: (_: never) => A;
+  };
   bits: number;
   offset: number;
   length: number;
@@ -72,7 +79,7 @@ export interface MutableVector<A> {
 }
 
 export function isVector(u: unknown): u is Vector<unknown> {
-  return hasTypeId(u, VectorTypeId);
+  return isObject(u) && VectorTypeId in u;
 }
 
 /**

package/_src/control/Eval/definition.ts

@@ -1,3 +1,6 @@
+export const EvalVariance = Symbol.for("fncts.Eval.Variance");
+export type EvalVariance = typeof EvalVariance;
+
 export const EvalTypeId = Symbol.for("@fncts/control/Eval");
 export type EvalTypeId = typeof EvalTypeId;
 
@@ -12,8 +15,10 @@ export interface EvalF extends HKT {
  * @tsplus type fncts.control.Eval
  */
 export interface Eval<A> {
-  readonly _typeId: EvalTypeId;
-  readonly _A: () => A;
+  readonly [EvalTypeId]: EvalTypeId;
+  readonly [EvalVariance]: {
+    readonly _A: (_: never) => A;
+  };
 }
 
 /**
@@ -30,23 +35,30 @@ export const enum EvalTag {
 }
 
 export class Value<A> implements Eval<A> {
-  readonly _tag                = EvalTag.Value;
-  readonly _typeId: EvalTypeId = EvalTypeId;
-  readonly _A!: () => A;
+  readonly _tag                     = EvalTag.Value;
+  readonly [EvalTypeId]: EvalTypeId = EvalTypeId;
+  declare [EvalVariance]: {
+    readonly _A: (_: never) => A;
+  };
   constructor(readonly value: A) {}
 }
 
 export class Defer<A> implements Eval<A> {
-  readonly _typeId: EvalTypeId = EvalTypeId;
-  readonly _tag                = EvalTag.Defer;
+  readonly [EvalTypeId]: EvalTypeId = EvalTypeId;
+  declare [EvalVariance]: {
+    readonly _A: (_: never) => A;
+  };
+  readonly _tag = EvalTag.Defer;
   readonly _A!: () => A;
   constructor(readonly make: () => Eval<A>) {}
 }
 
 export class Chain<A, B> implements Eval<B> {
-  readonly _typeId: EvalTypeId = EvalTypeId;
-  readonly _tag                = EvalTag.Chain;
-  readonly _A!: () => B;
+  readonly [EvalTypeId]: EvalTypeId = EvalTypeId;
+  declare [EvalVariance]: {
+    readonly _A: (_: never) => B;
+  };
+  readonly _tag = EvalTag.Chain;
   constructor(readonly self: Eval<A>, readonly f: (a: A) => Eval<B>) {}
 }
 

package/_src/control/Z/definition.ts

@@ -1,5 +1,3 @@
-import { hasTypeId } from "../../util/predicates.js";
-
 export interface ZF extends HKT {
   type: Z<this["W"], this["S"], this["S"], this["R"], this["E"], this["A"]>;
   variance: {
@@ -11,7 +9,10 @@ export interface ZF extends HKT {
   };
 }
 
-export const ZTypeId = Symbol.for("@principia/base/Z");
+export const ZVariance = Symbol.for("fncts.Z.Variance");
+export type ZVariance = typeof ZVariance;
+
+export const ZTypeId = Symbol.for("fncts.Z");
 export type ZTypeId = typeof ZTypeId;
 
 /**
@@ -28,13 +29,15 @@ export type ZTypeId = typeof ZTypeId;
  * @tsplus companion fncts.control.ZOps
  */
 export abstract class Z<W, S1, S2, R, E, A> {
-  readonly _typeId: ZTypeId = ZTypeId;
-  readonly _W!: () => W;
-  readonly _S1!: (_: S1) => void;
-  readonly _S2!: () => S2;
-  readonly _R!: () => R;
-  readonly _E!: () => E;
-  readonly _A!: () => A;
+  readonly [ZTypeId]: ZTypeId = ZTypeId;
+  declare [ZVariance]: {
+    readonly _W: (_: never) => W;
+    readonly _S1: (_: S1) => void;
+    readonly _S2: (_: never) => S2;
+    readonly _R: (_: never) => R;
+    readonly _E: (_: never) => E;
+    readonly _A: (_: never) => A;
+  };
 }
 
 /**
@@ -57,7 +60,7 @@ export function unifyZ<X extends Z<any, any, any, any, any, any>>(
  * @tsplus static fncts.control.ZOps isZ
  */
 export function isZ(u: unknown): u is Z<unknown, unknown, unknown, unknown, unknown, unknown> {
-  return hasTypeId(u, ZTypeId);
+  return isObject(u) && ZTypeId in u;
 }
 
 export const enum ZTag {
@@ -183,14 +186,14 @@ export function concrete(_: Z<any, any, any, any, any, any>): asserts _ is Concr
   //
 }
 
-export const ZErrorTypeId = Symbol.for("@principia/base/Z/ZError");
+export const ZErrorTypeId = Symbol.for("fncts.Z.ZError");
 export type ZErrorTypeId = typeof ZErrorTypeId;
 
 export class ZError<E> {
-  readonly _typeId: ZErrorTypeId = ZErrorTypeId;
+  readonly [ZErrorTypeId]: ZErrorTypeId = ZErrorTypeId;
   constructor(readonly cause: Cause<E>) {}
 }
 
 export function isZError(u: unknown): u is ZError<unknown> {
-  return hasTypeId(u, ZErrorTypeId);
+  return isObject(u) && ZErrorTypeId in u;
 }

package/_src/data/CaseClass.ts

@@ -21,7 +21,7 @@ export interface CaseConstructor {
 }
 
 export function isCaseClass(u: unknown): u is CaseConstructor {
-  return hasTypeId(u, CaseClassTypeId);
+  return isObject(u) && CaseClassTypeId in u;
 }
 
 const hash0 = Hashable.string("fncts.CaseClass");

package/_src/data/Cause/api.ts

@@ -663,6 +663,30 @@ export function isInterrupted<E>(self: Cause<E>): boolean {
   return self.find((cause) => (cause.isInterrupt() ? Just(cause) : Nothing())).isJust();
 }
 
+/**
+ * Determines if the `Cause` contains only interruptions and not any `Die` or
+ * `Fail` causes.
+ * @tsplus getter fncts.Cause isInterruptedOnly
+ */
+export function isInterruptedOnly<E>(self: Cause<E>): boolean {
+  return self.fold({
+    Empty: () => true,
+    Fail: () => false,
+    Halt: () => false,
+    Interrupt: () => true,
+    Both: (left, right) => left && right,
+    Then: (left, right) => left && right,
+    Stackless: (value) => value,
+  });
+}
+
+/**
+ * @tsplus getter fncts.Cause isFailure
+ */
+export function isFailure<E>(self: Cause<E>): boolean {
+  return self.failureMaybe.isJust();
+}
+
 /**
  * A type-guard matching `Traced`
  *

package/_src/data/Cause/definition.ts

@@ -3,6 +3,9 @@ import { Hashable } from "../../typeclass.js";
 import { isObject } from "../../util/predicates.js";
 import { tuple } from "../function.js";
 
+export const CauseVariance = Symbol.for("fncts.Cause.Variance");
+export type CauseVariance = typeof CauseVariance;
+
 export const CauseTypeId = Symbol.for("fncts.Cause");
 export type CauseTypeId = typeof CauseTypeId;
 
@@ -38,9 +41,10 @@ const _emptyHash = Hashable.string("fncts.Cause");
  * @tsplus companion fncts.Cause.EmptyOps
  */
 export class Empty {
-  readonly _E!: () => never;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => never;
+  };
   readonly _tag = CauseTag.Empty;
 
   get [Symbol.hash](): number {
@@ -71,9 +75,10 @@ export const _Empty = new Empty();
  * @tsplus companion fncts.Cause.FailOps
  */
 export class Fail<E> {
-  readonly _E!: () => E;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => E;
+  };
   readonly _tag = CauseTag.Fail;
 
   constructor(readonly value: E, readonly trace: Trace) {}
@@ -108,9 +113,10 @@ export class Fail<E> {
  * @tsplus companion fncts.Cause.HaltOps
  */
 export class Halt {
-  readonly _E!: () => never;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => never;
+  };
   readonly _tag = CauseTag.Halt;
 
   constructor(readonly value: unknown, readonly trace: Trace) {}
@@ -145,9 +151,10 @@ export class Halt {
  * @tsplus companion fncts.Cause.InterruptOps
  */
 export class Interrupt {
-  readonly _E!: () => never;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => never;
+  };
   readonly _tag = CauseTag.Interrupt;
 
   constructor(readonly id: FiberId, readonly trace: Trace) {}
@@ -183,9 +190,10 @@ export class Interrupt {
  * @tsplus companion fncts.Cause.ThenOps
  */
 export class Then<E> {
-  readonly _E!: () => E;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => E;
+  };
   readonly _tag = CauseTag.Then;
 
   constructor(readonly left: Cause<E>, readonly right: Cause<E>) {}
@@ -216,9 +224,10 @@ export class Then<E> {
  * @tsplus companion fncts.Cause.BothOps
  */
 export class Both<E> {
-  readonly _E!: () => E;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => E;
+  };
   readonly _tag = CauseTag.Both;
 
   constructor(readonly left: Cause<E>, readonly right: Cause<E>) {}
@@ -249,9 +258,10 @@ export class Both<E> {
  * @tsplus companion fncts.Cause.StacklessOps
  */
 export class Stackless<E> {
-  readonly _E!: () => E;
-
   readonly [CauseTypeId]: CauseTypeId = CauseTypeId;
+  declare [CauseVariance]: {
+    readonly _E: (_: never) => E;
+  };
   readonly _tag = CauseTag.Stackless;
 
   constructor(readonly cause: Cause<E>, readonly stackless: boolean) {}
@@ -279,7 +289,7 @@ export class Unified {
  * -------------------------------------------------------------------------------------------------
  */
 
-function structuralSymmetric<Id, A>(
+function structuralSymmetric<A>(
   f: (x: Cause<A>, y: Cause<A>) => Eval<boolean>,
 ): (x: Cause<A>, y: Cause<A>) => Eval<boolean> {
   return (x, y) => f(x, y).zipWith(f(y, x), (a, b) => a || b);

package/_src/data/Datum/definition.ts

@@ -34,6 +34,7 @@ const initialHash     = Hashable.combine(datumHash, Hashable.string(DatumTag.Ini
  */
 export class Initial implements Hashable, Equatable {
   readonly _tag = DatumTag.Initial;
+  readonly [DatumTypeId]: DatumTypeId = DatumTypeId;
   get [Symbol.hash](): number {
     return initialHash;
   }
@@ -49,8 +50,8 @@ const pendingHash = Hashable.combine(datumHash, Hashable.string(DatumTag.Pending
  * @tsplus companion fncts.Datum.PendingOps
  */
 export class Pending implements Hashable, Equatable {
-  readonly _typeId: DatumTypeId = DatumTypeId;
-  readonly _tag                 = DatumTag.Pending;
+  readonly [DatumTypeId]: DatumTypeId = DatumTypeId;
+  readonly _tag = DatumTag.Pending;
   get [Symbol.hash](): number {
     return pendingHash;
   }
@@ -64,8 +65,8 @@ export class Pending implements Hashable, Equatable {
  * @tsplus companion fncts.Datum.RefreshOps
  */
 export class Refresh<A> implements Hashable, Equatable {
-  readonly _typeId: DatumTypeId = DatumTypeId;
-  readonly _tag                 = DatumTag.Refresh;
+  readonly [DatumTypeId]: DatumTypeId = DatumTypeId;
+  readonly _tag = DatumTag.Refresh;
   constructor(readonly value: A) {}
   get [Symbol.hash](): number {
     return Hashable.combine(Hashable.combine(datumHash, Hashable.string(this._tag)), Hashable.unknown(this.value));
@@ -80,8 +81,8 @@ export class Refresh<A> implements Hashable, Equatable {
  * @tsplus companion fncts.Datum.RepleteOps
  */
 export class Replete<A> implements Hashable, Equatable {
-  readonly _typeId: DatumTypeId = DatumTypeId;
-  readonly _tag                 = DatumTag.Replete;
+  readonly [DatumTypeId]: DatumTypeId = DatumTypeId;
+  readonly _tag = DatumTag.Replete;
   constructor(readonly value: A) {}
   get [Symbol.hash](): number {
     return Hashable.combine(Hashable.combine(datumHash, Hashable.string(this._tag)), Hashable.unknown(this.value));
@@ -95,5 +96,5 @@ export class Replete<A> implements Hashable, Equatable {
  * @tsplus static fncts.DatumOps is
  */
 export function isDatum(u: unknown): u is Datum<unknown> {
-  return hasTypeId(u, DatumTypeId);
+  return isObject(u) && DatumTypeId in u;
 }

package/_src/data/DatumEither/definition.ts

@@ -8,7 +8,6 @@ export interface DatumEitherF extends HKT {
 
 /**
  * @tsplus type fncts.DatumEither
- * @tsplus no-inherit fncts.Datum
  */
 export type DatumEither<E, A> = Datum<Either<E, A>>;