1 {-# OPTIONS -w -fglasgow-exts #-}
3 -- !!! Functional dependencies
4 -- This broke an early impl of functional dependencies
5 -- (complaining about ambiguity)
7 module ShouldCompile where
9 class Foo r a | r -> a where
12 instance Foo [m a] (m a)
17 bar:: Monad m => [m a]