folds over keys

[matthewleon]

Is this desired? While you can achieve the desired effect with the WithIndex functions, it lacks some elegance.

[hdgarrood]

Are you thinking of something like foldKeys f = foldSubmap Nothing Nothing (\k _ -> f k)?