Когда я писал про "обычных пользователей" и "продвинутых программистов" я имел ввиду что-то похожее на вот это: http://www.scala-lang.org/node/8610. Не вижу ничего страшного в том, что есть программеры, чье владение Скалой в текущий момент не позволяет им заниматься type-level программированием. Все там были - почему бы не попробовать оптимизировать экспириенс менее опытных товарищей?