Ensure that the type lives inside of the inheritence hierarchy