specializing on existentially quantified data types

[Hal Daume III]

Hi all,

Suppose you have:

class C a where ...
data MkC = forall a . C a => MkC a

foo :: MkC -> ...

and I want to specialize foo for when the 'a' in the MkC is, say, Int.  Is 
this possible?

-- 
 Hal Daume III                                   | hdaume at isi.edu
 "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume