all :: (El a -> <e> Boolean) -> a -> <e> Boolean
filter :: (El a -> <e> Boolean) -> a -> <e> a
partition :: (El a -> <e> Boolean) -> a -> <e> (a,a)
all :: (El a -> <e> Boolean) -> a -> <e> Boolean
filter :: (El a -> <e> Boolean) -> a -> <e> a
partition :: (El a -> <e> Boolean) -> a -> <e> (a,a)