Correction to may last proposal on making (^) a class operation.
I recall that
http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/
proposes power_m to be an operation of class Multiplicative, and
(^) - to define as
x^n = case power_m x n of Just y -> y
_ -> error "x^n failed\n"
I think, this latter is better.
Anyway, the idea is "class operation rather than function".
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
