Janis, >> So, basically, we are annotating function >> types, what is IIRC exactly what Janis and David are doing. (I hope >> Janis corrects me if I'm wrong here).
> Wrong only in that David's name is Daniel. :-) Ah, I am terribly sorry. I just shouldn't type e-mails after having no more than a single cup of coffee. ;-) Cheers, Stefan _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
