type("foo" startsWith "foo")
