Zaslat SMS: Reflections on monadic lenses