Haskell Vector's that can be indexed with peano numbers, allowing bounds to be checked in compile time