It's great to have something that can perform automatic conversions of
data representations. E.g. foldr on Map A B or List (A,B) would be
the same code.
Then the latter can be used when order is important, and the first
when uniqueness is important.