composing two comparison functions?
vitus points out the very cool instance of Monoid for Ordering. If you combine it with the instance instance Monoid b => Monoid (a -> b) it turns out your composition function is just (get ready): mappend Check it out: Prelude Data.Monoid> let f a b = EQ Prelude Data.Monoid> let g a b = … Read more