Type Alias FlatMap<S>

type FlatMap<S> = {
    flatMap: <T1, U1>(
        a: (t: T1) => Get1<S, U1>,
    ) => (t: Get1<S, T1>) => Get1<S, U1>;
}