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