| Here is how we could specify partial type information
| about foo:
| 
|   foo :: (..) => a -> b -> c

Good idea.  Mark and I discussed something very like
this when we were writing our Haskell workshop paper, but it
didn't make it into the paper.  Seems easy to use and to 
implement.  

Fergus suggests

|   foo :: (?c1, ?c2) => a -> b -> c
|   bar :: (Bar a) => a -> ?t -> ?t -> ?s

Also seems like a reasonable idea.  I think I prefer
the simplicity of (..), but I'd be interested to know what others
think.


Simon

Reply via email to