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