added reference to functor and monad structures
Merge branch 'master' of https://github.com/ezyang/tmr-issue22