We extend existing notions of graded monads to grades on richer algebraic structures. In particular, we consider utilizing typed Kleene algebra. Through this extension, we are able to prevent the formation of certain ill-formed computations, as well as provide more accurate descriptions of the possible effects performed.