export interface TaggedFn8<
    A extends Type,
    B extends Type,
    C extends Type,
    D extends Type,