I like the 1ML idea (unifying records and modules), even if I don't really understand it. I just like the idea of fewer - but more powerful - constructs in a language.

The devil on my shoulder is kind of telling me that it's just another example of FP people slowly re-inventing a form of Object Orientation, though. But I think that's a good thing. A rose by any other name...