Memory-arrays is a project mainly written in Haskell, it's free.

An example of using type-level naturals for safe array manipulation.