Ben Rudiak-Gould wrote: >> => Partial p i b | p i -> b where ... -- (*)
> I think it's fine. The "p i b" on the left is effectively a tuple also. The problem is that "Partial p i b" is application, while "p i" is not. Also, "p i" (on the right) denotes a set, not a tuple. I think this syntax is unnecessarily clever. But I agree that changing it might not be clever either. -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ ------- _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org//mailman/listinfo/haskell-prime