Put derived lenses in their own module