title: 'mutable' in type definition
body: <p>Why is disabled types like</p>
  
  <pre><code>type t = A of int | B of string * mutable int
  </code></pre>
  
  <p>while such types are allowed:</p>
  
  <pre><code>type t = A of int | B of string * int ref
  </code></pre>