Re: [Haskell-cafe] How to define an operation in terms of itself (but of different type)?

2009/1/24 Luke Palmer :

And also, I wonder, what are you going and adding scalars to vectors for!? (I've heard of multiplying scalars by vectors -- that's in the definition of a vector space, but adding...?)

You can do that in geometric algebra. The result is a multivector. But in that case, you'd probably be using a single multivector type. -- Dave Menendez http://www.eyrie.org/~zednenem/