В общем, Derevo - это типа scalaz.deriving ? Или есть ещё макро-хелперы для деривации, типа как в магнолии?
Да, как нормальная версия дерайвинга, без встроенных сортов моноидальных функторов, просто поддерживающая нормальный набор штук для того, чтобы деривацию в аннотации поддерживать.
Потому что в скалаз, хоть и плагином была, там был только один ограниченный способ