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