Seeker: bring in (partial) functions && arith code