Ну ты пример-то не привёл. Только идеологии навалил.
При этом забыл и про бойлерплейт, и про комбинаторный взрыв ограничений.
И про тормоза при компиляции, и я не уверен, что их не будет при выполнении.
А, ну да, ощутимый плюс ZEnv'а - это то, что вывод типов более-менее работает, это да, хорошо сделано.
Но с учётом того, что типы в скале всё равно приходиться много где писать в любом случае, это не очень большое преимущество.