type TypedType<
  Tag extends TypeName,
  Props extends ObjectProps = {},
  Rest extends ObjectRecordTypeNode | undefined = undefined,
> = ObjectType<TypedProps<Tag, Props>, Rest>;