Or use ML-style reference cells, so that assignment cannot work on two things of the same type.