Type Alias Profunctor<S>

type Profunctor<S> = {
    diMap: <A, B>(
        f: (a: A) => B,
    ) => <C, D>(g: (c: C) => D) => (m: Get2<S, B, C>) => Get2<S, A, D>;
}