В Скале есть метод возвращающий тип аргумента?
В общем, если откинуть иронию, в отличие от "динамически типизируемых" языков, типы в scala - это метаинформация, она принципиально отсутствует в рантайме, существует класс библиотек, которые позволяют отразить часть метаинформации в значениях, они называются reflection.
Но в такой постановке вопрос бессмысленнен