Monadic implementation of the dao