Dangerous

Monads for operations that can exit early and produce warnings.

Dangerous monads result in (Either Exit a, [Warning]), where Exit can denote either ending computation early (Stop) or the computation failing (Exit, Failure). Monads, Monad Transformers, and helper functions are included.