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?
http://www.mail-archive.com/haskell@haskell.org/msg05658.html