Oleg Grenrus <oleg.grenrus at iki.fi> writes: > Thanks for more references! I was quite sure I didn't found all packages > around fin/nat/vec (and I feel a little bad for making "standards" > problem worse :) > There is also https://hackage.haskell.org/package/fixed-vector which I've been using for this sort of thing. -- - Frank