Type Alias UnderlyingHkt<Fa>

Extract the HKT type and its main underlying covariant type from a type that was built from an HKT.

type UnderlyingHkt<Fa extends Kind<TypeLambda, never, unknown, unknown, any>> = {
    Child: Fa extends Kind<TypeLambda, never, unknown, unknown, infer A>
        ? A
        : never;
    Parent: Fa extends Kind<infer F, never, unknown, unknown, any> ? F : never;
}