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

Cale Gibbard wrote:

[...] The Int type is usually a premature optimisation,

[...] I would much prefer for length, !!, etc. to have more general types, not less general (with compiler specialisation on Int of course).

Yes! Best regards, Johannes Waldmann.