Library tjr_monad

The entry point of this library is the module: Tjr_monad.