import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { IdentityFlatten } from "@tsplus/stdlib/prelude/IdentityFlatten";
import { Covariant } from "@tsplus/stdlib/prelude/Covariant";
/**
 * @tsplus type Monad
 */
export type Monad<F extends HKT> = IdentityFlatten<F> & Covariant<F>;
//# sourceMappingURL=Monad.d.ts.map