compile problem with enriched metric space