Haskell does it, apparently choosing \x -> y from Miranda's type signatures over ML's fn x => y. Of course, Haskell proceeds to x <- y -< z and then starts to g

Haskell does it, apparently choosing \x -> y from Miranda's type signatures over ML's fn x => y. Of course, Haskell proceeds to x <- y -< z and then starts to go a bit peculiar. http://www.haskell.org/haskellwiki/Arrow http://www.haskell.org/haskellwiki/Arrow