I wonder how to make the user prelude BPrelude to replace
2 + x :: T
with (Additive.fromInteger 2 :: T) + x
rather than (Num.fromInteger 2 :: T) + x
?
For BPrelude hides Num and moves +, fromInteger ... to
Additive. So, the compiler reports
"(Num T) is required".
Maybe, the compiler can be told what to substitute for the numeric
literals? The language would hardly care for this.
I do not know whether RULES can help,
but the thing still has to work under Hugs too.
Thanks in advance for the idea.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
