4 ms·

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

• beecafe 4y ago
  You're right, I misremembered, it was for equality instead.