A ton of regression. Need to review the monads, transformers before I can make progress. Conduits are bottlenecks (arrgh!)