[PRL] annoying types ARGH!

[Paul A. Steckler]

> > Well, I would guess that leaving out the "." after the +,-,* would
> > cause most of those.
> 
> Correct. They bubble thru and trigger others.

Of course, Standard ML overloads +, -, etc. but in 
a pretty ad hoc way.  You avoid this problem at 
the cost of orthogonality.

Haskell's typeclasses overload them in a more 
principled way:

 (+) :: forall a. (Num a) => a -> a -> a

And as I understand it, Mike Sperber wants something 
more like OCaml's operators for Scheme!

-- Paul