Trying to make instance of HasField

error

    /home/jchia/hs/test/test-a/src/Lib.hs:8:10: error:
        • Illegal instance declaration for ‘HasField field (Identity r) a’
            The coverage condition fails in class ‘HasField’
              for functional dependency: ‘x r -> a’
            Reason: lhs types ‘field’, ‘Identity r’
              do not jointly determine rhs type ‘a’
            Un-determined variable: a
            Using UndecidableInstances might help
        • In the instance declaration for ‘HasField field (Identity r) a’
      |
    8 | instance forall (field :: Symbol) r a. HasField field r a => HasField field (Identity r) a where
      |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    
    /home/jchia/hs/test/test-a/src/Lib.hs:8:62: error:
        • Illegal instance declaration for ‘HasField field (Identity r) a’
            Identity has fields
        • In the instance declaration for ‘HasField field (Identity r) a’
      |
    8 | instance forall (field :: Symbol) r a. HasField field r a => HasField field (Identity r) a where
      |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Lib.hs

{-# LANGUAGE DataKinds, KindSignatures, FlexibleInstances, MultiParamTypeClasses, TypeApplications  #-}
module Lib where

import ClassyPrelude
import GHC.Records
import GHC.TypeLits (Symbol)

instance forall (field :: Symbol) r a. HasField field r a => HasField field (Identity r) a where
  getField (Identity x) = getField @field x