packages feed

haskell-tools-refactor-0.4.1.2: 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