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

[Isaac Dupree]

Alfonso Acosta wrote:
>> So type-level + parametrized-data is my vote.  But don't let's spend too much
>> time discussing the name. ;-)
> 
> Fair enough. type-level + parameterized-data it is then (unless
> someone else has a better suggestion). I'm going to begin coding now.

hang on, "parametrized" or "parameterized"? -- both seem like plausible 
spellings, but there's an "e" different between what you two said!