No, it can't be moved to definitions because all these types are dependent on the universe tree we get as an input to quasiquote.