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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe