idris-1.3.3: test/interactive003/expected.out

ys
x :: app xs ys
[]
f x y :: vzipWith f xs ys
0 :: word_length xs