1 {-# OPTIONS -fglasgow-exts #-}
3 -- !!! Functional dependencies
4 -- This broke an early impl of functional dependencies
5 -- (complaint about ambiguity)
7 module ShouldCompile where
9 class C a b | a -> b where f :: a -> b
11 g :: (C a b, Eq b) => a -> Bool