[riffraff]

but is there say, something that (S)ML's modules allow which is not possible to do with F#+.NET objects?

I.e. ML's modules can be used to create interfaces and implementations of ADTs, but so can OO interfaces and classes.