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