[Haskell-cafe] closed classes

Ketil Malde ketil+haskell at ii.uib.no
Fri Aug 6 10:57:16 EDT 2004

Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk> writes:

> Ah, but now you cannot use (Closed t) => as a predicate in type
> signatures, and since you cannot write a partial signature, you must
> omit the signature altogether...

Hmm..yes, that would be a disadvantage. :-)

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell-Cafe mailing list