Type Alias Costrong<S>

type Costrong<S> = {
    unFirst: <A, B, C>(m: Get2<S, [A, C], [B, C]>) => Get2<S, A, B>;
    unSecond: <A, B, C>(m: Get2<S, [C, A], [C, B]>) => Get2<S, A, B>;
}