[Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

[Alfonso Acosta]

On Feb 2, 2008 2:54 PM, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> Just compare
>
> f :: List (() :- D1 :- D0 :- D0 :- 1000) Int -> List (() :- D1 :- D0
> :- D0 :- D0) Int

I meant

f :: List (() :- D1 :- D0 :- D0 :- D0) Int -> List (() :- D1 :- D0 :-
D0 :- D0) Int

sorry for the typo