Monad Transformers in flag and reveal functions :tada::tada::tada::tada:
Fixed merge conflicts