import type { List } from ".";
import type FlattenFn from "./Flatten";
import type { Monad, TypeClass$$Monad } from "../typeclass";

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

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