Since this is a type-checking module, I want *exactly* that type and not a subclass.  The JSON encoder won't necessarily behave correctly with subclasses, so this is important.  I'll add a comment.