Fri Oct 14 11:58:17 EDT 2011


What is necessary?

  - Focus on the monadic base language and how to map it to an
    algebraic data type which preserves type information, so it can
    generate typed intermediate code (either LLVM or C in character

  - Reuse later: the Arrow composition and state abstract can follow
    after that.  The representation is important because the hidden
    state in the Arrow implementation needs to be representable.