*(Type System)s Varieties:

<ul class="links">
  <li>Hindley-Miller;</li>
  <li>constraint-based:
    <ul>
      <li>_("A Systematic Approach in Type System Design based on Constraint Handling Rules (CHRs)"
        | http://www.comp.nus.edu.sg/~sulzmann/chr/);</li>
      <li>_("Wallace"
        | http://pauillac.inria.fr/~fpottier/wallace/wallace.html.en);</li>
    </ul>
  </li>
</ul>
