import type { List } from ".";
import type { Monoid, TypeClass$$Monoid } from "../typeclass";

declare module "../typeclass/Monoid" {
  interface MonoidImpl {
    List: ImplMonoidFor<List, List$$Monoid>;
  }
}

/**
 * Implementation of the {@link Monoid} type class for {@link List}.
 */
export interface List$$Monoid extends TypeClass$$Monoid<List> {
  Empty: readonly [];
}