[Haskell-cafe] flattenend multi-level programs, in diagram form