add power operator, a dyadic-function-valued monadic operator.