Add monoid instance for Set. Uncomment and add test for mapMonotonic.