random walk graded coalgebra

Tags: graded coalgebra on a graded monad.