"add to foldr" ui suggested by @ipaaa