Re: [Haskell-cafe] How to convert a list to a vector encoding its length in its type?

Also, be aware that we are testing the edges of what the compiler supports for type families here. I ran into a bug in my initial implementation which I submitted as http://hackage.haskell.org/trac/ghc/ticket/3460 -- ryan