Start stubbing in free-monad pretty-printer.
Thinking about arrows. Also think I need to spike in an empty branch.