Define Lens in term of ProFunctor

good catch