idris-0.9.12: test/interactive003/input

:ps 2 app_rhs_1
:ps 3 app_rhs_2
:ps 6 vzipWith_rhs_3
:ps 7 vzipWith_rhs_1