Implement ch07/the_functor_type_class examples
Implement ch07/kinds_and_some_type_foo examples (in progress)