Generic point-free lenses - Pacheco, Hugo (2010)