Why isn't mutable a subtype of immutable, or vice versa?