idris-0.9.12: test/interactive003/expected

Type checking ./interactive003.idr
ys
x :: (app xs ys)
[]
f x y :: (vzipWith f xs ys)