On Thu, Apr 09, 2015 at 05:40:24AM -0400, oleg at okmij.org wrote: > There are alternatives that are more compositional and easier to reason > about, including reasoning about performance. What are you hinting at here?