On Sun, Jun 27, 2010 at 4:44 PM, Alexey Khudyakov
> Dependent types would be nice but there isn't anything usable out there.
> Newtype wrapper parametrized by type level number works fine so far.
> If you interested sources are available here:
I haven't looked to see how complete your code is, but feel free to
take over the vector-static  project if you wish to use some
existing code. I haven't taken the time yet to say so on the Hackage
page, but it's not currently being maintained.
Haskell-Cafe mailing list