1 {-# LANGUAGE GeneralizedNewtypeDeriving, FlexibleInstances #-}
6 newtype Size = Size Int
7 deriving (Eq, Ord, Show, Num)
15 instance Sized Size where
18 -- This instance means that things like
22 -- are all instances of Sized.
23 instance Sized b => Sized (a,b) where
26 instance Monoid Size where