type annotations should invoke module loads