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

[Ryan Ingram]

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