Describir: Reflections on monadic lenses