Why isn't mutable a subtype of immutable, or vice versa? (crumbles.blog)

<a href="https://news.ycombinator.com/item?id=49756548">Comments</a>