📄️ Type Inference
- The compiler will infer types for expressions, and for constant and
📄️ Parametric polymorphism
One function, several types
📄️ Overloading
Reusing code, reusing names
📄️ Important classes
Eq
📄️ Type classes on type constructors
Generic concepts
📄️ Numbers
Numeric types and classes