While studying the vector space class in AFRP, I encountered the following strange code: class Floating a => VectorSpace v a | v -> a where ... v1 ^-^ v2 = v1 ^+^ v1 -- (negateVector v2) I have no idea why the (negateVector v2) has been commented out, but surely this must be a typo? Cheers, Peter