The import command typechecks as expected.