import type * as P from "@principia/prelude";
import * as HKT from "@principia/prelude/HKT";
import type { URI, V } from "./model";
/**
 * ```haskell
 * getWitherable :: Monoid e -> Witherable (Either e _)
 * ```
 *
 * Builds a `Witherable` instance for `Either` given `Monoid` for the left side
 *
 * @category Instances
 * @since 1.0.0
 */
export declare const getWitherable: <E>(M: P.Monoid<E>) => P.Witherable<["Either"], V & HKT.Fix<"E", E>>;
//# sourceMappingURL=witherable.d.ts.map