Same mistake here o_O

You have mixed up the base and the number.
zeroes 17 16 is 16! in the base 17.

I've updated default/public test cases in Haskell to make order of arguments more clear.

Haskell test case may be wrong.
-> attempt
in prime base - no zeroes
zeroes 17 16 should be 3 while system expect 0 ? (yes, I printed the test case)
(product [1..17] = 0x1437eeecd8000)

or the test case shoud be corrected as zeroes 16 17 ?

while scheme runs well...?

(define apd
  ((lambda (f) (lambda (xs ys) (f f xs ys)))
   (lambda (self xs ys) (if (null? xs) ys (cons (car xs) (self self (cdr xs) ys))))))

+1