Haskell library for visualizing algorithmic decomposition of computations.