> I think Haskell has the right approach here. I dislike that I can't instantly see which parameter has which type, but I suppose it's the only way to support

> I think Haskell has the right approach here. I dislike that I can't instantly see which parameter has which type, but I suppose it's the only way to support currying and point-free.