type classes and generality

Norman Ramsey nr@eecs.harvard.edu
Mon, 9 Jul 2001 17:44:21 -0400

I'm trying to model probability and leave the
representation of probability unspecified other than
it must be class Real.  But I'm having trouble with
random numbers; how can I show that if a type has class Real,
it also has class Random.Random?  Is there a way to accomplish
this goal other than by changing the library?