Nat, Fin, Vec
Why do you think that https://github.com/haskell-unordered-containers/unordered-containers is a good alternative to fin
Nat, Fin, Vec
Why do you think that https://github.com/haskell-unordered-containers/unordered-containers is a good alternative to fin