1instance Sized a => Sized (Digit a) where 2 {-# SPECIALISE instance Sized (Digit (Elem a)) #-} 3 4 {-# SPECIALISE instance Sized (Digit (Node a)) #-} 5 size xs = foldl (\ i x -> i + size x) 0 xs 6