gistfile1.hs

instance HasDefName def => HasDefName (Ref def) where
  getDefName Proxy = (getDefName (Proxy :: Proxy def))

-- • Could not deduce (HasDefName a0)
--     arising from a use of ‘getDefName’
--   from the context: HasDefName def
--     bound by the instance declaration at src/NewRange.hs:104:10-47
--   The type variable ‘a0’ is ambiguous
--   These potential instance exist:
--     instance HasDefName def => HasDefName (Ref def)
--       -- Defined at src/NewRange.hs:104:10
-- • In the expression: getDefName (Proxy :: Proxy def)
--   In an equation for ‘getDefName’:
--       getDefName Proxy = (getDefName (Proxy :: Proxy def))
--   In the instance declaration for ‘HasDefName (Ref def)’