HaRe-0.6: tools/base/tests/FunDep4.hs
module FunDep4 where class A e a | a->e where a :: a->a; e :: a->e class B a where b :: a->a class (A e a,B a) => C e a instance (A e a,B a) => C e a f :: C e a => a->a f x = a (b x)
module FunDep4 where class A e a | a->e where a :: a->a; e :: a->e class B a where b :: a->a class (A e a,B a) => C e a instance (A e a,B a) => C e a f :: C e a => a->a f x = a (b x)