= The delay monad<chapter-partiality_monad>
In this chapter we introduce the concept of monad and then describe a particular
kind of monad, the _delay monad_, which will be used troughout the work.

#include "./monads.typ"
//#include "./implementation.typ"
