Type Alias Contravariant<S>

type Contravariant<S> = {
    contraMap: <T1, U1>(
        f: (arg: T1) => U1,
    ) => (u: Get1<S, U1>) => Get1<S, T1>;
}