Implement ch07/record_syntax examples
Implement ch07/type_parameters examples (in progress)
Implement ch07/type_parameters examples
Implement ch07/derived_instances examples (in progress)