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

[Ryan Ingram]

On Tue, Aug 25, 2009 at 6:07 AM, Cristiano Paris<frodo at theshire.org> wrote:
> On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram<ryani.spam at gmail.com> wrote:
>>> {-# LANGUAGE GADTs, RankNTypes, TypeFamilies, ScopedTypeVariables, FlexibleContexts #-}
>>> {-# LANGUAGE FlexibleInstances #-}

> Disturbing... I must admin it: I'll never be a Haskell Guru (tm).

That's funny, I consider GADTs, RankNTypes, and ScopedTypeVariables to
be the starting point for real code.  They just go at the top of the
file without thinking at this point.  (Well, sometimes I leave GADTs
out)

  -- ryan