Exporting lens operators from the prelude