RecordProps

type RecordProps<
  R extends UnknownRecord & {
    props: object
  },
> = {
  [K in keyof R['props']]: T.Validatable<R['props'][K]>
}