monocle.function
Creates a Lens from S to an optional A at index i at is strictly more powerful than index because we can add a value at an empty index