notes on lecture 1 on monads!