So, where do you sit on this? I do think categorizing the global constructor objects as `Type` is a good idea.