Implement ch07/kinds_and_some_type_foo examples