{-# OPTIONS -fno-monomorphism-restriction -fglasgow-exts -fallow-undecidable-instances #-}
-- The Glorious Glasgow Haskell Compilation System, version 6.7.20070712
import Text.PrettyPrint
import Prelude hiding(head,tail)

class FooBar m k l | m -> k l where 
 a :: m graphtype

class (Monad m)=>Gr g ep m | g -> ep where 
 x:: m Int
 v:: m Int

instance (Monad m,  FooBar m x z) =>  Gr g ep m  where
-- GHCi claims for y:  y :: (Monad m, FooBar m GHC.Prim.Any GHC.Prim.Any) => m Int (which is wrong)
y = x