How so? References are not polymorphic in SML (that's what the value restriction ensures).