SE-0310: Effectful Read-only Properties

[Mordil (Nathan Harris)]

Ah! Thank you for that missing link in my mental model. This is making sense now.