Notes dip is executed as a primitive when preceded by a literal quotation. The below definition is not executed unless its argument is a non-literal quotation, such as a quotation constructed with curry or compose, or for Fried quotations or quotations including Lexical variables.