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