A Comonad of Graph Decompositions · HackerTrans