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                                   | [EMAIL PROTECTED]
 "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume

_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to