> (And, obviously, omitting the type information in the function arguments doesn't work in a statically typed language.) It works just fine in Haskell for most

> (And, obviously, omitting the type information in the function arguments doesn't work in a statically typed language.) It works just fine in Haskell for most cases.