1 paper
Sergey Goncharov, Stefan Milius, Christoph Rauch
Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a m…