package foo:bar;

interface foo {
  resource a {}
  type t = own<a>;
  type b = own<t>;
}