specializing on existentially quantified data types

Hal Daume III hdaume at ISI.EDU
Mon Nov 24 16:08:41 EST 2003

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

More information about the Glasgow-haskell-users mailing list