Pure and Mutable lenses are separated