Double check type is actually mutable