I wouldn't consider its use ironic. A curried function is generally implemented using closures (i.e., a function that remembers the lexical environment of its d

I wouldn't consider its use ironic. A curried function is generally implemented using closures (i.e., a function that remembers the lexical environment of its definition). It might be a slight abuse of terminology, but not one that should give much pause.