export function comp<A, B, C, D, E, F, G, H, I, J>(
    a: TxLike<A, B>,
    b: TxLike<B, C>,
    c: TxLike<C, D>,
    d: TxLike<D, E>,