Introduction to monads