type classes and generality

Tom Pledger Tom.Pledger@peace.com
Tue, 10 Jul 2001 10:31:42 +1200

Norman Ramsey writes:
 | 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?

How about the default-implementations-as-external-functions approach
Marcin suggested, adapted for Real instead of Bounded and Enum?