Fixing abstract
Moving intro example
Make the monad discussion clearer.
Merge branch 'master' of github.com:ku-fpg/paper-sunroof-tfp13