| 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