Code to support the Stacking Monads High talk