trying technique to simplify Lens defn