shapeless macros 2.11