Lens is a type alias for PLens which fixes the type arguments and restricts the PLens to monomorphic updates.