Sun Aug 12 21:41:40 EDT 2018

Monadic form for expression languages

This is really annoying.  I've tried several things and I can't seem
to find something I like.  Basically, it looks bad and requires
thinking for simple things like multi-argument applications.

What I've started doing:
- reuse names and use update notation : v <- v `op` arg
- use >>= and =<<
- use lift functions