shapeless macros 2.10