Market now auto-derives Eq, isnt a Monoid, but OrdMarkets is.