Type Alias Invariant<S>

type Invariant<S> = {
    inMap: <T1, U1>(
        f: (t1: T1) => U1,
    ) => (g: (u1: U1) => T1) => (st: Get1<S, T1>) => Get1<S, U1>;
}