SimpleLens is deprecated, so I switched all occurrences to Lens'