/**
 * Bimappable is a structure that allows a function to be applied inside of the
 * associated concrete structure but is specific to a second held value of that
 * structure..
 *
 * @module Bimappable
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { $, Hold, Kind } from "./kind.js";
import type { Mappable } from "./mappable.js";
/**
 * The Bimappable interface. Bimapple includes the methods map and mapSecond.
 */
export interface Bimappable<U extends Kind> extends Mappable<U>, Hold<U> {
    readonly mapSecond: <B, J>(fbj: (value: B) => J) => <A = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [A, J, C], [D], [E]>;
}
/**
 * @since 2.0.0
 */
export declare function bimap<U extends Kind>({ map, mapSecond }: Bimappable<U>): <A, B, I, J>(fai: (a: A) => I, fbj: (b: B) => J) => <C = never, D = unknown, E = unknown>(ua: $<U, [A, B, C], [D], [E]>) => $<U, [I, J, C], [D], [E]>;