use "basic_models.g";

concept Foo<U> {
  type bar;
  fun fooey(U x) -> bar@;
};

fun zow<T> where { Foo<T>, Regular<Foo<T>.bar> }
(T f) -> Foo<T>.bar@
{
  return fooey(f);
}

struct foo {
  int x;
};

model Foo<foo> {
  type bar = int;
  fun fooey(foo f) -> int@ {
    return f.x;
  }
};

fun main() -> int@ {
  let f = @foo{ x = 3 };
  return 3 - zow(f);
}