typos and monads