import type { Extended } from './isExtension.js';
export declare const $SUM: unique symbol;
export type $SUM = typeof $SUM;
export type SUM = Extended<{
[$SUM]: [A, B];
}>;
export declare const $sum: (a: A, b: B) => SUM;
export declare const isSum: (input: unknown) => input is {
[$SUM]: unknown;
};