This boils down to F(A).t != F(B).t even if A is defined as equal to B. The
current module system just cannot express this. Unlikely to change any time
soon, but I'll leave it as a feature wish just in case. -XL, 2004-02-17