Type Alias ComposeGiven<Class, F, G, Os>

ComposeGiven: Os extends ParameterizedGiven<
    Class,
    F,
    infer A,
    infer B,
    infer C,
    infer R,
    infer O,
    infer E,
>
    ? {
        given: ParameterizedGiven<
            Class,
            ComposeTypeLambda<G, F, R, O, E>,
            A,
            B,
            C,
            R,
            O,
            E,
        >;
        instance: Kind<Class, R, O, E, ComposeTypeLambda<G, F, R, O, E>>;
    }
    : never