You are quoting me out of context. In many languages, the term and/or pattern foo(x : int) is a string, if foo : int -> string.