Define Lens in term of ProFunctor