Email Record: Towards a Formal Theory of Graded Monads.