For-comprehensions are the idiom that turns chains of flatMap into something that reads like a sequence of statements. They sit on top of Monad (sequential) and Applicative (parallel); the For Comprehension reference page covers the typeclass machinery these journeys build on.