Absolutely. It's worth noting that every single effect system implementation that currently exists also leverages monads at the user level, even if they're doin

Absolutely. It's worth noting that every single effect system implementation that currently exists also leverages monads at the user level, even if they're doing exciting type-theoretic things underneath.