Type Alias: InferError<A>

type InferError<A> = A extends Type<any, any, any, infer Error, any, any> ? Error : never;