3.1 Monad diagnostics