Remember this once RecordDotSyntax lands in GHC

Vitreous.hs

-- see also https://stackoverflow.com/questions/61079836/why-isnt-the-constraint-trick-working-in-this-manually-defined-hasfield-insta
{-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE Rank2Types #-} -- for Into, otherwise unnecessary
{-# LANGUAGE StandaloneKindSignatures #-}
module Main where
import Control.Lens
import GHC.Records 
import Data.Kind

type Glass :: Type -> Type
data Glass r = Glass -- just a dumb proxy

class Glassy r where
  the :: Glass r

instance Glassy x where
  the = Glass

instance HasField k r v => HasField k (Glass r) (Into r v) where
  getField _ = Into (to (getField @k))

-- ReifiedGetter / runGetter would work as well
newtype Into s a = Into { into :: Getter s a }

data Person = Person { name :: String, age :: Int } 

main :: IO ()
main = do
  print $ Person "foo" 0 ^. into (getField @"name" the)
  print $ Person "foo" 0 ^. into (getField @"age" the)