`iterableTypeFromRank` is a really minimalistic function that wraps `tpe` into `Iterable[...]` rank times, it doesn't do any validation whatsoever, all validation logic is intentionally concentrated right here. Moreover you would need to pass additional local data not even available there at the moment.