SMS versenden: Reflections on monadic lenses