Isn't there some overlap between this and extend-protocol? To my vague understanding this is from the functional composition angle instead of a type, but other

Isn't there some overlap between this and extend-protocol? To my vague understanding this is from the functional composition angle instead of a type, but otherwise don't they accomplish the same thing?