Proposal: Partial Type Signatures

[Gabor Greif]

Hi all,

this proposal looks very interesting. When writing functions that
consume/produce values of proper GADT type, signatures are mandatory.
So just spelling out the GADTs and leaving the rest to type inference
looks like a clear win.

I can only second the in-development-no-signatures argument. Many
types are in flux, but the fundamentals can be stated with partial
signatures. This also reduces the embarrassment when one goes with a
fixed signature just to discover later that there would have been a
much more general form of it, simply inferrable.

Cheers,

    Gabor