monocle.function
Creates a Traversal from S to 0 or 1 A index is less powerful than at as we can only modify an index that already exist