document mono-traversable vs. lens Traversal