Kinds of types¶ We’ve mostly restricted ourselves to built-in types until now. This section introduces several additional kinds of types. You are likely to need at least some of them to type check any non-trivial programs. Class types¶ Every class is also a valid type. Any instance of a subclass is also compatible with all superclasses – it follows that every value is compatible with the object ty