[Haskell] Re: Fixed-length vectors in Haskell, Part 2: Using no extensions

[Ashley Yakeley]

In article 
<r02010400-1040-A0BE089CBF6111D99910000393758032@[10.0.1.2]>,
 David Menendez <zednenem at psualum.com> wrote:

> > data Vec 0   a = Nil
> > data Vec s v a = Cons a (v a)
> 
> Some aliases for convenience:
> 
> > type Vec 1 = Vec s Vec 0
> > type Vec 2 = Vec s Vec 1
> > type Vec 3 = Vec s Vec 2
> > type Vec 4 = Vec s Vec 3

I don't understand this at all, and neither does GHC.

-- 
Ashley Yakeley, Seattle WA