haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/OrganizeImports/MakeExplicit/ClassSource.hs

module Refactor.OrganizeImports.MakeExplicit.ClassSource where

class D a where
  f :: a

instance D () where 
  f = ()

g :: D a => a
g = f