als Argumente:
even :: Int -> Bool partition :: ( a -> Bool ) -> [a] -> ([a], [a]) partition even [ 1,2,3,4,5 ] = ( [2,4], [1,3,5] )
partiell angewendete Funktionen (liefern Funktionen als Resultat)
partition :: ( a -> Bool ) -> [a] -> ( [a], [a] ) partition even :: [a] -> ( [a], [a] ) partition even [ 1 .. 5 ] :: ( [Int], [Int] )