declare module "m1" {
  import type t from "m2";
  import typeof t from "m3";
}