I think you probably only need an `Injection[(OuterK, InnerK), K]` which could be a bit more flexible (i.e. K could be a string representation of a key).