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.