#monad #bind operator #burrito analogy #functional programming #side effects