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

On Feb 8, 2008 5:14 PM, Stefan Monnier wrote:

How 'bout treating :+ as similar to `append' rather than similar to `cons'? Basically treat :+ as taking 2 numbers (rather than a number and a digit).

Interpreting it like that would certainly make make more sense. But again, I think that :* should be interpreted just as an unavoidable syntactical annoyance without meaning or interpretation.