********************************************************************************
Draft
********************************************************************************


All the sections of this chapter are very DRAFT.


.. toctree::

    hoare_swierstra
    io
    effects
    wellfounded_recursion
    monad_recursion
    group_theory
    records
    platforms
    pattern_match
    pattern_match_compiler
    pattern_guard