One Monad to Prove Them All Resources for One Monad to Prove Them All (submitted to <Programming>) by Jan Christiansen, Sandra Dylus and Finn Teegen.
