Backslash in Haskell is lambda, e.g.
(\x c -> x == e || c)
Removing pointless stuff
Here’s an example:
reverse xs = foldl snoc  xs where snoc ys y = y : ys reverse = foldl snoc  where snoc ys y = y : ys reverse = foldl snoc  where snoc = flip (:) reverse = foldl (flip (:)) 
You may think this is removing type security. But remember at the top of all this you will have:
reverse :: [a] -> [a]
So type security is maintained.