Re: PROPOSAL: Restrict the type of (^), (^^), and add genericPower, genericPower'