- What is an algebraic datatype?
- What is polymorphism?
- What is parametric polymorphism?
- What is a ground type?
- What is universal function call syntax?
- What are the possible type signatures of a trait object?
- What are two ways to obscure type information?
- How is a subtrait declared?




















































