Greetings, >> How should one express that a type cannot be Immutable? > Can you give a use case for when one would want to say this? I am thinking of procedural classes, e.g. loggers, parsers, output streams. In practice, all references are mutable references; and I cannot imagine having an immutable reference to such classes. Regards, Mahmood