⁵I don’t know why few languages like this exist, but to proffer a guess, it’s probably because currying makes it unclear when a function is actually run, but that doesn’t matter in a referentially transparent language. Procedural languages are not generally referentially transparent, so it’s very important to be abundantly clear when a procedure is actually executed.