consistent type variables for lens example