у меня IDE есть для этого, она сразу показывает тип в статике, без никаких функций
а если у тебя есть мета-метод, который разворачивается прямо в рантайме в метод, который в зависимости от внешних параметров может быть в принципе любого типа то ты тоже это увидишь?