Alternatives to Monad — 0-Doubt