Hacker News Reader

as far as my set theoretical intuition goes, immutable has to be a subtype of mutable, if anything.

No? "Immutable" means "not mutable", so mutability and immutability are mutually exclusive.

An immutable object is a special kind of mutated object, which when mutated does what exactly?