List: use a more efficient right fold.
Reorganize Comparable unit tests.
Reorganize Foldable unit tests.
Reorganize Functor unit tests.
Core: Do not always force including core.hpp to get operators::enable
Reorganize Iterable unit tests.
Reorganize Monad unit tests.
Core: use BOOST_HANA_TYPECLASS macro to create type classes.
Core: Allow parametric data types and predicated instances to cohabit.
Core: make default_instance dependent on the type class arguments
Remove todos in minimal::Monad.
Add a default mcd to minimal data types.
Add the Traversable type class.