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.