No title

1
2
3
4
5
6
7
8
9
10
instance {-# OVERLAPPABLE #-} Monoid Size where
  mempty = 0
  mappend = (+)

instance Monoid Priority where
  mempty = maxBound
  mappend = min

type Priority = Int
type Size = Int