Generic Map/Set traits

Since we have GATs, now it looks like it's possible to express generic Map types. Is there any effort underway to do so? Are there any off the shelf crates to use?