> How do we obtain concept wide intrinsic type parameters then or did I miss a > detail?
I don't understand the question, the concept can demand a ==/hash operation to exist. The problem is what does it mean "demand to exist"? Currently it means it exists in the instantiation scope, but this an unnatural, error-prone design when the rest of the world attaches these operations to the type.
