Since curried functions cannot be overloaded and modules cannot have members, does this mean that there is no way to overload a function in a module? The answer seems obvious, but I want to make sure there is not something I am missing.
Correctly, without overloaded functions in modules (in general, there is no way to overload the let-bound function). If you say f it is f always of one type, whereas if you say o.f it may refer to a group of overloads (allowed by the surrounding context).
f
o.f