Type Alias: InferInput<A>

type InferInput<A> = A extends Type<any, any, infer Input, any, any, any> ? Input : never;