final monad tutorial published