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