[Haskell-cafe] Unary functions and infix notation

[Tom Ellis]

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