graded comonad

Last updated Mar 28, 2024