This is a `map` closed by a `flatten`, hence a `flatMap`.