List of Figures

• A record ${\it {r:\ \{l_1:T_1;l_2:T_2;l_3:T_3\}}}$, and ${\it {r':\ \{l_1:T'_1;l_2:T'_2;l_3:T'_3;l_4:T'_4\}}}$ masquerading as an element of type ${\it {\{l_1:T_1;l_2:T_2;l_3:T_3\}}}$.
• A function ${\it {f:\ {\it Func(S):\ T}}}$, and ${\it {f':\ {\it Func(S'):\ T'}}}$ masquerading as ${\it {f}}$.
• A variable ${\it {x:\ ref\ T}}$, and ${\it {x':\ ref\ T'}}$ masquerading as ${\it {x}}$.
• A Point class.
• A Colorpoint subclass
• Typing DeepClone methods in subclasses.
• Node class
• Changing types of methods in subclasses.
• Circle and ColorCircle classes with more flexible types.
• Node class with MyType.
• Doubly-linked node class.
• Node class with MyType.
• Procedure illustrating that subclasses need not generate subtypes.
• List type function.
• The type ${\it {Comparable}}$.
• Binary search tree type functions.
• BinSearchTree classes.
• Polymorphic Circle classes.
• Animal and herbivore classes
• Polymorphic animal and herbivore classes
• A type safe rewrite of ${\it {breakit}}$ using match-bounded polymorphism.