adding (= (tag w) "function") when w :: arrow