There really isn't one...I'll consider refactoring it even as much as I hate the inevitable "fun" of `TypeDefinition` and `TypeTypeDefinition`... :D