λ(Foo : Text) → < Foo = Foo | Bar : Natural >