Foldable

Verallgemeinert das Fold-Konzept auf beliebige rekursive Datentypen.

sum :: (Foldable t, Num a) => t a -> a
length :: Foldable t => t a -> Int
null :: Foldable t => t a -> Bool