If you add explicit type annotations it can figure out which one you want. But yeah it's not great. There’s a compiler flag, `-principle` that will give an error if you are depending on such behavior, but IIUC it cause a performance hit to type checking for some reason.