<li><a href="the-beast/names.html">The truth about names: Names and OccNamesd</a>
<li><a href="the-beast/vars.html">The Real Story about Variables, Ids,
TyVars, and the like</a>
+ <li><a href="the-beast/data-types.html">Data types and constructors</a>
<li><a href="the-beast/renamer.html">The Glorious Renamer</a>
<li><a href="the-beast/typecheck.html">Checking Types</a>
<li><a href="the-beast/desugar.html">Sugar Free: From Haskell To Core</a>