Really appreciating this after reading it. Given the analogues in functional languages, I'm thinking of using this more to reason about whole python programs an

Really appreciating this after reading it. Given the analogues in functional languages, I'm thinking of using this more to reason about whole python programs and then implement that reasoning more directly as these graphy compositions. To me it seems like a very elegant abstraction.