A Comonad of Graph Decompositions
blog.higher-order.com