graded comonadLast updated Feb 6, 2025Graded coalgebragraded comonoidgraded reader comonadgraded comonad of pathsgraded coalgebragraded coalgebra on a graded monadgraded comonoid of paths