Monadic Lenses for data