Sun May 27 11:30:49 EDT 2018


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.