Algebra over a Monad Analysis Execution Protocol | Algebra over a Monad Analysis | Mathematics | NEROS