droundy at darcs.net
Wed Dec 6 21:15:27 EST 2006
On Thu, Dec 07, 2006 at 12:39:35PM +1100, Donald Bruce Stewart wrote:
> > I was just thinking today. Is there any reason we couldn't have infix
> > multiparameter typeclasses? For typeclasses standing as witnesses of
> > relationships it'd be much clearer, for example to have something like
> > (a :<: b) rather than the always-vague (LT a b) which either reads the
> > same as the infix version or backwards.
> > [...]
> I think they are valid now!
Silly me! I didn't even think to try! Nice. And thanks!
Department of Physics
Oregon State University
More information about the Haskell-prime