package foo:bar;

interface bar {
  use the-interface.{the-type as bar};
}

interface the-interface {
  type the-type = u8;
}