Zipper with monads first version.