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