It lets your write lambdas with 'slots' without inventing names for the parameters.[s| ı + ı |] = \x y -> x+y
[s| ı + ı |] = \x y -> x+y