Monaidc Lenses for data