Bindings and generalisation
===========================

.. toctree::
    :maxdepth: 1

    monomorphism
    let_generalisation