// @ts-ignore - `Some` and `None` are only used in doc comments
import type { None, Option, Some } from ".";
import type FlattenFn from "./Flatten";
import type { Monad, TypeClass$$Monad } from "../typeclass";

declare module "../typeclass/Monad" {
  interface MonadImpl {
    Option: ImplMonadFor<Option, Option$$Monad>;
  }
}

/**
 * Implementation of the {@link Monad} type class for {@link Option}.
 */
export interface Option$$Monad extends TypeClass$$Monad<Option> {
  Flatten: FlattenFn;
}