HKT

type Kind<F extends TypeLambda, In, Out2, Out1, Target> = F extends {
  readonly type: unknown;
}
  ? F &
      {
        readonly In: In;
        readonly Out1: Out1;
        readonly Out2: Out2;
        readonly Target: Target;
      }["type"]
  : {
      readonly F: F;
      readonly In: Types.Contravariant<In>;
      readonly Out1: Types.Covariant<Out1>;
      readonly Out2: Types.Covariant<Out2>;
      readonly Target: Types.Invariant<Target>;
    };

interface TypeClass<F extends TypeLambda> {
  readonly [URI]?: F;
}

interface TypeLambda {
  readonly In: unknown;
  readonly Out1: unknown;
  readonly Out2: unknown;
  readonly Target: unknown;
}

declare const URI: unique symbol;