Funktionen als Argumente und Resultate

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] )