Maybe via union types? Something like `X.instances[Map](implicit m => X.map[String](p)(_.capitalize))`
Maybe via union types? Something like
X.instances[Map](implicit m => X.map[String](p)(_.capitalize))