But we can do next: Prelude> :set XPostfixOperators Prelude> let z = (\y -> True) :: a -> Bool Prelude> :t (True `z`)
But still `z` True ~ \a -> a `z` True ~ \a -> z a True and `z` must be a function with minimum 2 arguments -- View this message in context: http://haskell.1045720.n5.nabble.com/Unary-functions-and-infix-notation-tp5735766p5735807.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe