Seol mar théacs é seo: Reflections on monadic lenses