> However, there is a warning that you don't use T in the definition of > SetImpl[T].
Not with devel. > The float cannot be inferred in VectorSpace[float] from the concept itself, > we need to know it before evaluating the concept's body. I don't think this is what Andrea meant, but if you're right, that doesn't have much to do with the original problem statement which was how to infer generic parameters for concepts. :)
