On Sun, Dec 02, 2007 at 09:57:50AM -0800, Conal Elliott wrote: > > instance (Ord a, Bounded a) => Monoid (Min a) where > mempty = Min minBound I think you mean: mempty = Min maxBound > Min a `mappend` Min b = Min (a `min` b) Thanks Ian