Added in v0.24.0
Signature
export interface Monad<F extends TypeLambda> extends FlatMap<F>, Pointed<F> {}