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

On Feb 2, 2008 2:54 PM, Alfonso Acosta 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