nd ) -- sometimes it isn't phadej @ pl \p -> uncurry (\x y -> (x, y + 2 )) p lambdabot second ( 2 + ) -- so you have to help it TL;DR concatative languages are linear by default, as there are special operators to contract and weaken!