graded list monad

• rational intervals as a graded coalgebra

Tags: graded monad graded coalgebra.