Would it be possible to add a generator for a map type? The shrink and pick function could probably look a lot like the one from tuples..