scalaz7, shapeless, ...