Manual
======

.. toctree::
    :maxdepth: 2
    
    quickstart
    type
    functors
    tens
    natural
    monads