First polymorphic types and functions
Implicit arguments
Polymorphic pairs
Polymorphic options
Curry/uncurry
Map
Constfunc, override func
Church numerals