Code for a post on shape-aware algebraic data types and computations - View it on GitHub