> It's probably possible to convince me that the limitation on circular references is actually a feature Have that in Haskell as well. As the community largely

> It's probably possible to convince me that the limitation on circular references is actually a feature Have that in Haskell as well. As the community largely views FP as "type-driven development" and Haskell as a "typeful language", it isn't uncommon to have a single module just for listing all the Algebraic Data Types (not their "methods" though, that's more an OOP concept anyway). Having all ADTs at a glance has its own benefits in terms of "high-level overview" etc too of course. But of course the question was about OOP so you're right calling this a "caveat" in that respect.