One Monad to Prove Them All - Dylus, Sandra (arXiv.org)