**Puzzle KEP:** Give some examples of generalized metric spaces. Show that they satisfy the axioms of an enriched category.