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