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

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

Type Parameters

Class extends TypeLambda
F extends TypeLambda
G extends TypeLambda
Os extends ParameterizedGiven<Class, F, any, any, any, any, any, any>