Programming And Static Analysis With Graded Monads