[Haskell] Implicit Parameters in Instance Declarations

[Ashley Yakeley]

Would horrible things happen if implicit parameters were allowed as 
contexts in instance declarations?

   instance (?limit :: Int) => Eq Thing where
       ...

-- 
Ashley Yakeley