| 1 | {-# OPTIONS -fno-monomorphism-restriction -fglasgow-exts -fallow-undecidable-instances #-} |
|---|
| 2 | -- The Glorious Glasgow Haskell Compilation System, version 6.7.20070712 |
|---|
| 3 | import Text.PrettyPrint |
|---|
| 4 | import Prelude hiding(head,tail) |
|---|
| 5 | |
|---|
| 6 | class FooBar m k l | m -> k l where |
|---|
| 7 | a :: m graphtype |
|---|
| 8 | |
|---|
| 9 | class (Monad m)=>Gr g ep m | g -> ep where |
|---|
| 10 | x:: m Int |
|---|
| 11 | v:: m Int |
|---|
| 12 | |
|---|
| 13 | instance (Monad m, FooBar m x z) => Gr g ep m where |
|---|
| 14 | -- GHCi claims for y: y :: (Monad m, FooBar m GHC.Prim.Any GHC.Prim.Any) => m Int (which is wrong) |
|---|
| 15 | y = x |
|---|
