How to implement a “either nested type or void” trait?

Question

I\'m working with some classes that may have a nested type defined. Whenever this nested type is not defined I pretend like this nested type is void. For example, h