foldrWithKey package:monoidmap

Folds over the keys and values in the map using the given right-associative binary operator. Satisfies the following property:
foldrWithKey f r m == Map.foldrWithKey f r (toMap m)
A strict version of foldrWithKey. Each application of the operator is evaluated before using the result in the next application. This function is strict in the starting value.