KnownNat-indexed vectors

I don’t think type classes should be used like they are in contiguous. You’re really relying on GHC inlining absolutely everything if you go with that approach. I also think it is just unnecessary. Why not just provide several array implementations in a few different modules? It’s not that bad to qualify some function names.