>> Relaxing type sharing constraints; not working completely yet > > On a slightly related note, I've thought for a while, but never gotten > around to it, that a better way to do the sharing would be to put the > constraints at the point Basis is opaquely constrained by BASIS rather > than as part of the BASIS signature itself. Why would this be different/better?