∀(Foo : Text) → < Bar : Natural | Foo : Text >