Members of definitions don't have to be vals. They don't have to be defs either. How about defining a module over there that takes `universeType` and provides all the types required by quasiquotes?