foo | False = baz | otherwise = bux foo a b = ab where (x:xs) = if baz then qux else if qux then faux else vrai p1 | g1 = e1 | g2 = e2 | otherwise = e3 foo = qux (f . b . c) foo = qux (\xs -> e xs) foo = qux (+ b) foo = qux (flip f) foo = qux (f . b) foo = qux (\x -> f x) foo = qux (f . b) foo = qux (\x -> (x +))