</a><ul><li><a href="#project-layout">Project Layout</a></li><li><a href="#who-is-this-for?">Who is this for?</a></li><li><a href="#a-succinct-introduction">A Succinct Introduction</a><ul><li><a href="#functors">Functors</a></li><li><a href="#magmas">Magmas</a></li><li><a href="#monoidal-categories">Monoidal Categories</a><ul><li><a href="#general-overview">General Overview</a></li><li><a href="#monoid">Monoid</a></li><li><a href="#plus">Plus</a></li><li><a href="#monad">Monad</a><ul><li><a href="#example">