I wrote: > [...] > ghc -O generates basically the following code (use -ddump-simpl to > see this): > > any :: (a -> Bool) -> [a] -> Bool > any p xs = let go ys = case ys of Ooops, cut'n'paste error: Insert [] -> False here. :-} > (z:zs) -> case p z of > False -> go zs > True -> True > in go xs > [...] Cheers, Sven