>>481
モノイドでも、加法が定義されてるなら
　x^y = exp(log(x)y)
の対象じゃないか。