added first part of post about monads