Lens is the new Monad