improved lecture notes on monads
improved lecture notes on monads