graded comonoid graded reader comonad graded comonad of paths graded coalgebra graded coalgebra on a graded monad graded comonoid of paths
