> Currying conflicts with rich "imperative" parameters e.g. overloading, default parameters, keyword parameters. This doesn't contradict anything you said, but

> Currying conflicts with rich "imperative" parameters e.g. overloading, default parameters, keyword parameters. This doesn't contradict anything you said, but I think Idris is a language that curries everything and has default parameters. https://docs.idris-lang.org/en/latest/tutorial/miscellany.html#default-implicit-arguments https://docs.idris-lang.org/en/latest/tutorial/miscellany.ht...