Re: [Haskell-cafe] Unary functions and infix notation

On Fri, Sep 06, 2013 at 05:04:12PM +0200, Johannes Emerich wrote:

Weirdly, however, infix notation can also be used for unary functions with polymorphic types, as the following ghci session shows:

Prelude> :t (`id` 1) (`id` 1) :: Num a => (a -> t) -> t Prelude> (`id` 1) (\y -> show y ++ ".what") "1.what"

There's nothing special about infix notation here: Prelude> :t \x -> id x 1 \x -> id x 1 :: Num a => (a -> t) -> t Prelude> (\x -> id x 1) (\y -> show y ++ ".what") "1.what" Tom