message: increase layers
diff: import type { BaseURIS, URItoKind } from "./hkt"
  -export type URIS = [BaseURIS, BaseURIS?, BaseURIS?]
  -export type RestrictedKindURI = [BaseURIS, BaseURIS?]
  +export type URIS = [BaseURIS, BaseURIS?, BaseURIS?, BaseURIS?]
  +export type RestrictedKindURI = [BaseURIS, BaseURIS?, BaseURIS?]
  export type UnionURI<G extends BaseURIS, F extends RestrictedKindURI> = F extends [
  + BaseURIS,
  BaseURIS,
  BaseURIS
  ]
  + ? [F[0], F[1], F[2], G]
  + : F extends [BaseURIS, BaseURIS]
  ? [F[0], F[1], G]
  : F extends [BaseURIS]
  ? [F[0], G]
  @@ -24,7 +27,42 @@ export type Kind<
  R,
  E,
  A
  -> = URI extends [BaseURIS, BaseURIS, BaseURIS]
  +> = URI extends [BaseURIS, BaseURIS, BaseURIS, BaseURIS]
  + ? URItoKind<
  + N,
  + K,
  + SI,
  + SO,
  + X,
  + I,
  + S,
  + R,
  + E,
  + URItoKind<
  + N,
  + K,
  + SI,
  + SO,
  + X,
  + I,
  + S,
  + R,
  + E,
  + URItoKind<
  + N,
  + K,
  + SI,
  + SO,
  + X,
  + I,
  + S,
  + R,
  + E,
  + URItoKind<N, K, SI, SO, X, I, S, R, E, A>[URI[3]]
  + >[URI[2]]
  + >[URI[1]]
  + >[URI[0]]
  + : URI extends [BaseURIS, BaseURIS, BaseURIS]
  ? URItoKind<
  N,
  K,
  