Failure

MoveResult

fail

Zipper

flatMap

MoveResult

focus

Zipper