[Haskell-cafe] What does it mean that objects are fixpoints? (OO'Haskell)

[Manuel Simoni]

Hello!

I'm trying to wrap my head around OO'Haskell's notion of objects as fixpoints.

Is OO'Haskell's use of mfix simply a use of something like a monadic
Y-combinator to give the object access to its own "identity"?

Thanks,
Manuel