> 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.