> It's the same type definitions, just with different parameters The wording is important here. These "type definitions" you are talking about are not types. W

> It's the same type definitions, just with different parameters The wording is important here. These "type definitions" you are talking about are not types. We usually call them "type constructors". So we mean the same thing, but please don't call multivector out to be a type without specifying the "grade" (then it becomes a type).