Implement ch07/type_classes_102 examples (in progress)