effect 2.0.0-next.55 → 2.0.0-next.56

package/src/TArray.ts

@@ -24,12 +24,12 @@ export type TArrayTypeId = typeof TArrayTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TArray<A> extends TArray.Variance<A> {}
+export interface TArray<in out A> extends TArray.Variance<A> {}
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TArray<A> {
+export interface TArray<in out A> {
   /** @internal */
   readonly chunk: Array<TRef.TRef<A>>
 }
@@ -42,9 +42,9 @@ export declare namespace TArray {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<A> {
+  export interface Variance<in out A> {
     readonly [TArrayTypeId]: {
-      readonly _A: (_: never) => A
+      readonly _A: (_: A) => A
     }
   }
 }

package/src/TDeferred.ts

@@ -23,12 +23,12 @@ export type TDeferredTypeId = typeof TDeferredTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TDeferred<E, A> extends TDeferred.Variance<E, A> {}
+export interface TDeferred<in out E, in out A> extends TDeferred.Variance<E, A> {}
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TDeferred<E, A> {
+export interface TDeferred<in out E, in out A> {
   /** @internal */
   readonly ref: TRef.TRef<Option.Option<Either.Either<E, A>>>
 }
@@ -41,10 +41,10 @@ export declare namespace TDeferred {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<E, A> {
+  export interface Variance<in out E, in out A> {
     readonly [TDeferredTypeId]: {
-      readonly _E: (_: never) => E
-      readonly _A: (_: never) => A
+      readonly _E: (_: E) => E
+      readonly _A: (_: A) => A
     }
   }
 }

package/src/TMap.ts

@@ -29,12 +29,12 @@ export type TMapTypeId = typeof TMapTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TMap<K, V> extends TMap.Variance<K, V> {}
+export interface TMap<in out K, in out V> extends TMap.Variance<K, V> {}
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TMap<K, V> {
+export interface TMap<in out K, in out V> {
   /** @internal */
   readonly tBuckets: TRef.TRef<TArray.TArray<Chunk.Chunk<readonly [K, V]>>>
   /** @internal */
@@ -49,10 +49,10 @@ export declare namespace TMap {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<K, V> {
+  export interface Variance<in out K, in out V> {
     readonly [TMapTypeId]: {
-      readonly _K: (_: never) => K
-      readonly _V: (_: never) => V
+      readonly _K: (_: K) => K
+      readonly _V: (_: V) => V
     }
   }
 }

package/src/TPriorityQueue.ts

@@ -32,12 +32,12 @@ export type TPriorityQueueTypeId = typeof TPriorityQueueTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TPriorityQueue<A> extends TPriorityQueue.Variance<A> {}
+export interface TPriorityQueue<in out A> extends TPriorityQueue.Variance<A> {}
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TPriorityQueue<A> {
+export interface TPriorityQueue<in out A> {
   /** @internal */
   readonly ref: TRef.TRef<SortedMap.SortedMap<A, [A, ...Array<A>]>>
 }
@@ -50,9 +50,9 @@ export declare namespace TPriorityQueue {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<A> {
+  export interface Variance<in out A> {
     readonly [TPriorityQueueTypeId]: {
-      readonly _A: (_: never) => A
+      readonly _A: (_: A) => A
     }
   }
 }

package/src/TPubSub.ts

@@ -26,13 +26,16 @@ export type TPubSubTypeId = typeof TPubSubTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TPubSub<A> extends TQueue.TEnqueue<A> {}
+export interface TPubSub<in out A> extends TQueue.TEnqueue<A> {
+  readonly [TPubSubTypeId]: {
+    readonly _A: (_: A) => A
+  }
+}
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TPubSub<A> {
-  readonly [TPubSubTypeId]: TPubSubTypeId
+export interface TPubSub<in out A> {
   /** @internal */
   readonly pubsubSize: TRef.TRef<number>
   /** @internal */

package/src/TQueue.ts

@@ -34,17 +34,17 @@ export type TEnqueueTypeId = typeof TEnqueueTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TQueue<A> extends TEnqueue<A>, TDequeue<A> {}
+export interface TQueue<in out A> extends TEnqueue<A>, TDequeue<A> {}
 
 /**
  * @since 2.0.0
  * @category models
  */
-export interface TEnqueue<A> extends TQueue.TEnqueueVariance<A>, BaseTQueue {
+export interface TEnqueue<in A> extends TQueue.TEnqueueVariance<A>, BaseTQueue {
   /**
    * Places one value in the queue.
    */
-  readonly offer: (value: A) => STM.STM<never, never, boolean>
+  offer(value: A): STM.STM<never, never, boolean>
 
   /**
    * For Bounded TQueue: uses the `BackPressure` Strategy, places the values in
@@ -61,14 +61,14 @@ export interface TEnqueue<A> extends TQueue.TEnqueueVariance<A>, BaseTQueue {
    * For Dropping TQueue: uses `Dropping` Strategy, It places the values in the
    * queue but if there is no room it will not enqueue them and return false.
    */
-  readonly offerAll: (iterable: Iterable<A>) => STM.STM<never, never, boolean>
+  offerAll(iterable: Iterable<A>): STM.STM<never, never, boolean>
 }
 
 /**
  * @since 2.0.0
  * @category models
  */
-export interface TDequeue<A> extends TQueue.TDequeueVariance<A>, BaseTQueue {
+export interface TDequeue<out A> extends TQueue.TDequeueVariance<A>, BaseTQueue {
   /**
    * Views the next element in the queue without removing it, retrying if the
    * queue is empty.
@@ -96,7 +96,7 @@ export interface TDequeue<A> extends TQueue.TDequeueVariance<A>, BaseTQueue {
   /**
    * Takes up to max number of values from the queue.
    */
-  readonly takeUpTo: (max: number) => STM.STM<never, never, Array<A>>
+  takeUpTo(max: number): STM.STM<never, never, Array<A>>
 }
 
 /**
@@ -109,7 +109,7 @@ export interface BaseTQueue {
   /**
    * Returns the number of elements the queue can hold.
    */
-  readonly capacity: () => number
+  capacity(): number
 
   /**
    * Retrieves the size of the queue, which is equal to the number of elements
@@ -156,7 +156,7 @@ export declare namespace TQueue {
    * @since 2.0.0
    * @category models
    */
-  export interface TEnqueueVariance<A> {
+  export interface TEnqueueVariance<in A> {
     readonly [TEnqueueTypeId]: {
       readonly _In: (_: A) => void
     }
@@ -166,7 +166,7 @@ export declare namespace TQueue {
    * @since 2.0.0
    * @category models
    */
-  export interface TDequeueVariance<A> {
+  export interface TDequeueVariance<out A> {
     readonly [TDequeueTypeId]: {
       readonly _Out: (_: never) => A
     }

package/src/TRandom.ts

@@ -42,16 +42,16 @@ export interface TRandom {
    * Returns the next numeric value in the specified range from the
    * pseudo-random number generator.
    */
-  readonly nextRange: (min: number, max: number) => STM.STM<never, never, number>
+  nextRange(min: number, max: number): STM.STM<never, never, number>
   /**
    * Returns the next integer value in the specified range from the
    * pseudo-random number generator.
    */
-  readonly nextIntBetween: (min: number, max: number) => STM.STM<never, never, number>
+  nextIntBetween(min: number, max: number): STM.STM<never, never, number>
   /**
    * Uses the pseudo-random number generator to shuffle the specified iterable.
    */
-  readonly shuffle: <A>(elements: Iterable<A>) => STM.STM<never, never, Array<A>>
+  shuffle<A>(elements: Iterable<A>): STM.STM<never, never, Array<A>>
 }
 /**
  * @internal

package/src/TRef.ts

@@ -33,17 +33,17 @@ export type TRefTypeId = typeof TRefTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TRef<A> extends TRef.Variance<A> {
+export interface TRef<in out A> extends TRef.Variance<A> {
   /**
    * Note: the method is unbound, exposed only for potential extensions.
    */
-  readonly modify: <B>(f: (a: A) => readonly [B, A]) => STM.STM<never, never, B>
+  modify<B>(f: (a: A) => readonly [B, A]): STM.STM<never, never, B>
 }
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TRef<A> {
+export interface TRef<in out A> {
   /** @internal */
   todos: Map<TxnId.TxnId, Journal.Todo>
   /** @internal */
@@ -57,7 +57,7 @@ export declare namespace TRef {
   /**
    * @since 2.0.0
    */
-  export interface Variance<A> {
+  export interface Variance<in out A> {
     readonly [TRefTypeId]: {
       readonly _A: (_: A) => A
     }

package/src/TSet.ts

@@ -27,12 +27,12 @@ export type TSetTypeId = typeof TSetTypeId
  * @since 2.0.0
  * @category models
  */
-export interface TSet<A> extends TSet.Variance<A> {}
+export interface TSet<in out A> extends TSet.Variance<A> {}
 /**
  * @internal
  * @since 2.0.0
  */
-export interface TSet<A> {
+export interface TSet<in out A> {
   /** @internal */
   readonly tMap: TMap.TMap<A, void>
 }
@@ -45,9 +45,9 @@ export declare namespace TSet {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<A> {
+  export interface Variance<in out A> {
     readonly [TSetTypeId]: {
-      readonly _A: (_: never) => A
+      readonly _A: (_: A) => A
     }
   }
 }

package/src/Take.ts

@@ -29,7 +29,7 @@ export type TakeTypeId = typeof TakeTypeId
  * @since 2.0.0
  * @category models
  */
-export interface Take<E, A> extends Take.Variance<E, A>, Pipeable {
+export interface Take<out E, out A> extends Take.Variance<E, A>, Pipeable {
   /** @internal */
   readonly exit: Exit.Exit<Option.Option<E>, Chunk.Chunk<A>>
 }
@@ -42,7 +42,7 @@ export declare namespace Take {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<E, A> {
+  export interface Variance<out E, out A> {
     readonly [TakeTypeId]: {
       readonly _E: (_: never) => E
       readonly _A: (_: never) => A

package/src/TestAnnotation.ts

@@ -29,17 +29,21 @@ export type TestAnnotationTypeId = typeof TestAnnotationTypeId
 /**
  * @since 2.0.0
  */
-export interface TestAnnotation<A> extends Equal.Equal {
-  readonly [TestAnnotationTypeId]: TestAnnotationTypeId
+export interface TestAnnotation<in out A> extends Equal.Equal {
+  readonly [TestAnnotationTypeId]: {
+    readonly _A: (_: A) => A
+  }
   readonly identifier: string
   readonly tag: Context.Tag<A, A>
   readonly initial: A
-  readonly combine: (a: A, b: A) => A
+  combine(a: A, b: A): A
 }
 
 /** @internal */
 class TestAnnotationImpl<A> implements Equal.Equal {
-  readonly [TestAnnotationTypeId]: TestAnnotationTypeId = TestAnnotationTypeId
+  readonly [TestAnnotationTypeId] = {
+    _A: (_: any) => _
+  }
   constructor(
     readonly identifier: string,
     readonly tag: Context.Tag<A, A>,

package/src/TestAnnotations.ts

@@ -46,13 +46,13 @@ export interface TestAnnotations {
    * Accesses an `Annotations` instance in the context and retrieves the
    * annotation of the specified type, or its default value if there is none.
    */
-  readonly get: <A>(key: TestAnnotation.TestAnnotation<A>) => Effect.Effect<never, never, A>
+  get<A>(key: TestAnnotation.TestAnnotation<A>): Effect.Effect<never, never, A>
 
   /**
    * Accesses an `Annotations` instance in the context and appends the
    * specified annotation to the annotation map.
    */
-  readonly annotate: <A>(key: TestAnnotation.TestAnnotation<A>, value: A) => Effect.Effect<never, never, void>
+  annotate<A>(key: TestAnnotation.TestAnnotation<A>, value: A): Effect.Effect<never, never, void>
 
   /**
    * Returns the set of all fibers in this test.

package/src/TestClock.ts

@@ -76,12 +76,10 @@ import * as Live from "./TestLive.js"
  * @since 2.0.0
  */
 export interface TestClock extends Clock.Clock {
-  readonly adjust: (duration: Duration.DurationInput) => Effect.Effect<never, never, void>
-  readonly adjustWith: (
-    duration: Duration.DurationInput
-  ) => <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>
+  adjust(duration: Duration.DurationInput): Effect.Effect<never, never, void>
+  adjustWith(duration: Duration.DurationInput): <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>
   readonly save: Effect.Effect<never, never, Effect.Effect<never, never, void>>
-  readonly setTime: (time: number) => Effect.Effect<never, never, void>
+  setTime(time: number): Effect.Effect<never, never, void>
   readonly sleeps: Effect.Effect<never, never, Chunk.Chunk<number>>
 }
 

package/src/TestLive.ts

@@ -27,7 +27,7 @@ export type TestLiveTypeId = typeof TestLiveTypeId
  */
 export interface TestLive {
   readonly [TestLiveTypeId]: TestLiveTypeId
-  readonly provide: <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>
+  provide<R, E, A>(effect: Effect.Effect<R, E, A>): Effect.Effect<R, E, A>
 }
 
 /**

package/src/TestSized.ts

@@ -23,7 +23,7 @@ export interface TestSized {
   readonly [TestSizedTypeId]: TestSizedTypeId
   readonly fiberRef: FiberRef.FiberRef<number>
   readonly size: Effect.Effect<never, never, number>
-  readonly withSize: (size: number) => <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>
+  withSize(size: number): <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>
 }
 
 /**

package/src/Tracer.ts

@@ -24,14 +24,14 @@ export type TracerTypeId = typeof TracerTypeId
  */
 export interface Tracer {
   readonly [TracerTypeId]: TracerTypeId
-  readonly span: (
+  span(
     name: string,
     parent: Option.Option<ParentSpan>,
     context: Context.Context<never>,
     links: ReadonlyArray<SpanLink>,
     startTime: bigint
-  ) => Span
-  readonly context: <X>(f: () => X, fiber: Fiber.RuntimeFiber<any, any>) => X
+  ): Span
+  context<X>(f: () => X, fiber: Fiber.RuntimeFiber<any, any>): X
 }
 
 /**
@@ -87,9 +87,9 @@ export interface Span {
   readonly attributes: ReadonlyMap<string, unknown>
   readonly links: ReadonlyArray<SpanLink>
   readonly sampled: boolean
-  readonly end: (endTime: bigint, exit: Exit.Exit<unknown, unknown>) => void
-  readonly attribute: (key: string, value: unknown) => void
-  readonly event: (name: string, startTime: bigint, attributes?: Record<string, unknown>) => void
+  end(endTime: bigint, exit: Exit.Exit<unknown, unknown>): void
+  attribute(key: string, value: unknown): void
+  event(name: string, startTime: bigint, attributes?: Record<string, unknown>): void
 }
 
 /**

package/src/Types.ts

@@ -142,3 +142,11 @@ export type Concurrency = number | "unbounded" | "inherit"
 export type Mutable<T> = {
   -readonly [P in keyof T]: T[P]
 }
+
+/**
+ * Avoid inference on a specific parameter
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type NoInfer<A> = [A][A extends any ? 0 : never]

package/src/UpstreamPullRequest.ts

@@ -29,7 +29,7 @@ export declare namespace UpstreamPullRequest {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<A> {
+  export interface Variance<out A> {
     readonly [UpstreamPullRequestTypeId]: {
       readonly _A: (_: never) => A
     }
@@ -40,7 +40,7 @@ export declare namespace UpstreamPullRequest {
  * @since 2.0.0
  * @category models
  */
-export interface Pulled<A> extends UpstreamPullRequest.Variance<A> {
+export interface Pulled<out A> extends UpstreamPullRequest.Variance<A> {
   readonly _tag: "Pulled"
   readonly value: A
 }
@@ -101,10 +101,16 @@ export const isNoUpstream: <A>(self: UpstreamPullRequest<A>) => self is NoUpstre
  */
 export const match: {
   <A, Z>(
-    options: { readonly onPulled: (value: A) => Z; readonly onNoUpstream: (activeDownstreamCount: number) => Z }
+    options: {
+      readonly onPulled: (value: A) => Z
+      readonly onNoUpstream: (activeDownstreamCount: number) => Z
+    }
   ): (self: UpstreamPullRequest<A>) => Z
   <A, Z>(
     self: UpstreamPullRequest<A>,
-    options: { readonly onPulled: (value: A) => Z; readonly onNoUpstream: (activeDownstreamCount: number) => Z }
+    options: {
+      readonly onPulled: (value: A) => Z
+      readonly onNoUpstream: (activeDownstreamCount: number) => Z
+    }
   ): Z
 } = internal.match

package/src/UpstreamPullStrategy.ts

@@ -30,7 +30,7 @@ export declare namespace UpstreamPullStrategy {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<A> {
+  export interface Variance<out A> {
     readonly [UpstreamPullStrategyTypeId]: {
       readonly _A: (_: never) => A
     }
@@ -41,7 +41,7 @@ export declare namespace UpstreamPullStrategy {
  * @since 2.0.0
  * @category models
  */
-export interface PullAfterNext<A> extends UpstreamPullStrategy.Variance<A> {
+export interface PullAfterNext<out A> extends UpstreamPullStrategy.Variance<A> {
   readonly _tag: "PullAfterNext"
   readonly emitSeparator: Option.Option<A>
 }
@@ -50,7 +50,7 @@ export interface PullAfterNext<A> extends UpstreamPullStrategy.Variance<A> {
  * @since 2.0.0
  * @category models
  */
-export interface PullAfterAllEnqueued<A> extends UpstreamPullStrategy.Variance<A> {
+export interface PullAfterAllEnqueued<out A> extends UpstreamPullStrategy.Variance<A> {
   readonly _tag: "PullAfterAllEnqueued"
   readonly emitSeparator: Option.Option<A>
 }

package/src/Utils.ts

@@ -38,7 +38,7 @@ export type GenKindTypeId = typeof GenKindTypeId
 export interface GenKind<F extends TypeLambda, R, O, E, A> extends Variance<F, R, O, E> {
   readonly value: Kind<F, R, O, E, A>
 
-  readonly [Symbol.iterator]: () => Generator<GenKind<F, R, O, E, A>, A>
+  [Symbol.iterator](): Generator<GenKind<F, R, O, E, A>, A>
 }
 
 /**

package/src/index.ts

@@ -514,6 +514,11 @@ export * as Pool from "./Pool.js"
  */
 export * as Predicate from "./Predicate.js"
 
+/**
+ * @since 2.0.0
+ */
+export * as PrimaryKey from "./PrimaryKey.js"
+
 /**
  * @since 2.0.0
  */

package/src/internal/blockedRequests.ts

@@ -354,7 +354,7 @@ const parallelVariance = {
   _R: (_: never) => _
 }
 
-class ParallelImpl<R> implements ParallelCollection<R> {
+class ParallelImpl<out R> implements ParallelCollection<R> {
   readonly [RequestBlockParallelTypeId] = parallelVariance
   constructor(
     readonly map: HashMap.HashMap<
@@ -417,7 +417,7 @@ const sequentialVariance = {
   _R: (_: never) => _
 }
 
-class SequentialImpl<R> implements SequentialCollection<R> {
+class SequentialImpl<out R> implements SequentialCollection<R> {
   readonly [SequentialCollectionTypeId] = sequentialVariance
   constructor(
     readonly map: HashMap.HashMap<
@@ -468,7 +468,7 @@ export const sequentialCollectionToChunk = <R>(
 export type RequestBlockParallelTypeId = typeof RequestBlockParallelTypeId
 
 /** @internal */
-export interface ParallelCollection<R> extends ParallelCollection.Variance<R> {
+export interface ParallelCollection<out R> extends ParallelCollection.Variance<R> {
   readonly map: HashMap.HashMap<
     RequestResolver.RequestResolver<unknown, unknown>,
     Array<Request.Entry<unknown>>
@@ -478,7 +478,7 @@ export interface ParallelCollection<R> extends ParallelCollection.Variance<R> {
 /** @internal */
 export declare namespace ParallelCollection {
   /** @internal */
-  export interface Variance<R> {
+  export interface Variance<out R> {
     readonly [RequestBlockParallelTypeId]: {
       readonly _R: (_: never) => R
     }
@@ -489,7 +489,7 @@ export declare namespace ParallelCollection {
 export type SequentialCollectionTypeId = typeof SequentialCollectionTypeId
 
 /** @internal */
-export interface SequentialCollection<R> extends SequentialCollection.Variance<R> {
+export interface SequentialCollection<out R> extends SequentialCollection.Variance<R> {
   readonly map: HashMap.HashMap<
     RequestResolver.RequestResolver<unknown, unknown>,
     Array<Array<Request.Entry<unknown>>>
@@ -499,7 +499,7 @@ export interface SequentialCollection<R> extends SequentialCollection.Variance<R
 /** @internal */
 export declare namespace SequentialCollection {
   /** @internal */
-  export interface Variance<R> {
+  export interface Variance<out R> {
     readonly [SequentialCollectionTypeId]: {
       readonly _R: (_: never) => R
     }

package/src/internal/cache.ts

@@ -35,7 +35,7 @@ export type MapValue<Key, Error, Value> =
   | Refreshing<Key, Error, Value>
 
 /** @internal */
-export interface Complete<Key, Error, Value> {
+export interface Complete<out Key, out Error, out Value> {
   readonly _tag: "Complete"
   readonly key: MapKey<Key>
   readonly exit: Exit.Exit<Error, Value>
@@ -44,14 +44,14 @@ export interface Complete<Key, Error, Value> {
 }
 
 /** @internal */
-export interface Pending<Key, Error, Value> {
+export interface Pending<out Key, in out Error, in out Value> {
   readonly _tag: "Pending"
   readonly key: MapKey<Key>
   readonly deferred: Deferred.Deferred<Error, Value>
 }
 
 /** @internal */
-export interface Refreshing<Key, Error, Value> {
+export interface Refreshing<out Key, in out Error, in out Value> {
   readonly _tag: "Refreshing"
   readonly deferred: Deferred.Deferred<Error, Value>
   readonly complete: Complete<Key, Error, Value>
@@ -107,14 +107,14 @@ export type MapKeyTypeId = typeof MapKeyTypeId
  *
  * @internal
  */
-export interface MapKey<K> extends Equal.Equal {
+export interface MapKey<out K> extends Equal.Equal {
   readonly [MapKeyTypeId]: MapKeyTypeId
   readonly current: K
   previous: MapKey<K> | undefined // mutable by design
   next: MapKey<K> | undefined // mutable by design
 }
 
-class MapKeyImpl<K> implements MapKey<K> {
+class MapKeyImpl<out K> implements MapKey<K> {
   readonly [MapKeyTypeId]: MapKeyTypeId = MapKeyTypeId
   previous: MapKey<K> | undefined = undefined
   next: MapKey<K> | undefined = undefined
@@ -150,20 +150,20 @@ export const isMapKey = (u: unknown): u is MapKey<unknown> => hasProperty(u, Map
  *
  * @internal
  */
-export interface KeySet<K> {
+export interface KeySet<in out K> {
   head: MapKey<K> | undefined // mutable by design
   tail: MapKey<K> | undefined // mutable by design
   /**
    * Adds the specified key to the set.
    */
-  readonly add: (key: MapKey<K>) => void
+  add(key: MapKey<K>): void
   /**
    * Removes the lowest priority key from the set.
    */
-  readonly remove: () => MapKey<K> | undefined
+  remove(): MapKey<K> | undefined
 }
 
-class KeySetImpl<K> implements KeySet<K> {
+class KeySetImpl<in out K> implements KeySet<K> {
   head: MapKey<K> | undefined = undefined
   tail: MapKey<K> | undefined = undefined
   add(key: MapKey<K>): void {
@@ -215,7 +215,7 @@ export const makeKeySet = <K>(): KeySet<K> => new KeySetImpl<K>()
  *
  * @internal
  */
-export interface CacheState<Key, Error, Value> {
+export interface CacheState<in out Key, in out Error, in out Value> {
   map: MutableHashMap.MutableHashMap<Key, MapValue<Key, Error, Value>> // mutable by design
   keys: KeySet<Key> // mutable by design
   accesses: MutableQueue.MutableQueue<MapKey<Key>> // mutable by design
@@ -269,7 +269,7 @@ export const CacheTypeId: Cache.CacheTypeId = Symbol.for(
 ) as Cache.CacheTypeId
 
 const cacheVariance = {
-  _Key: (_: unknown) => _,
+  _Key: (_: any) => _,
   _Error: (_: never) => _,
   _Value: (_: never) => _
 }
@@ -288,7 +288,7 @@ export const makeEntryStats = (loadedMillis: number): Cache.EntryStats => ({
   loadedMillis
 })
 
-class CacheImpl<Key, Error, Value> implements Cache.Cache<Key, Error, Value> {
+class CacheImpl<in out Key, in out Error, in out Value> implements Cache.Cache<Key, Error, Value> {
   readonly [CacheTypeId] = cacheVariance
   readonly cacheState: CacheState<Key, Error, Value>
   constructor(