I'm using require/typed for a struct P in two different files, but with exactly the same imports. When, in a third file I get a mismatch because the P are different I got a message: "Type Checker: Expected P, but got P" At first I didn't understand the error, maybe you could put something like: "Type Checker: Expected P, but got P. Check if P is defined in more than one module" Cheers -- Ismael