title: what is a mutually recursive type?
body: <p>If in ML, an example of a recursive datatype is:</p>
  
  <pre><code>datatype llist = Nil | Node of int * llist
  </code></pre>
  
  <p>What is a mutually recursive datatype and whats an example of it, in ML?</p>