package foo:foo

interface a {
  record foo {}

  a: func() -> foo
}

interface b {
  use a.{foo}

  a: func() -> foo
}

interface c {
  use b.{foo}

  a: func() -> foo
}

world d {
  import a
  import b
  import d: interface {
    use c.{foo}

    b: func() -> foo
  }
}