I like where this recipe is going. You understand the format well. I wonder if there is a good example of extending a type the other way around (you own the type, but not the protocol.) Arguably this is counter to the title of the recipe, but given that it is a little light this kind of discussion could beef this up into a larger Protocols recipe.

Thoughts?