type("foo" contains "foo")
