[1 of 3] Compiling HasFieldFail01_A ( HasFieldFail01_A.hs, HasFieldFail01_A.o )
[2 of 3] Compiling Main             ( hasfieldfail01.hs, hasfieldfail01.o )

hasfieldfail01.hs:9:15: error:
    • No instance for ‘HasField "foo" T Int’
        arising from a use of ‘getField’
    • In the first argument of ‘print’, namely
        ‘(getField @"foo" (MkT 42) :: Int)’
      In the expression: print (getField @"foo" (MkT 42) :: Int)
      In an equation for ‘main’:
          main = print (getField @"foo" (MkT 42) :: Int)