foldr-arugal not found