< a : Text | b : Integer >.a "foo"