.
Maybe finished.
Further recursion.
Negation.
Heterogeneous lists.
Zipping them in a type safe way.
From lists of functions to functions on lists. Still well-typed.
Typos.