發送短信: Reflections on monadic lenses