Would horrible things happen if implicit parameters were allowed as contexts in instance declarations? instance (?limit :: Int) => Eq Thing where ... -- Ashley Yakeley