CMake: Automatically discover unit tests and examples.
Core: fix problems with typeclass specialization
Maybe: instantiate Foldable
Promote List to a type class.