:ps 4 app_rhs_1
:ps 5 app_rhs_2
:ps 8 vzipWith_rhs_3
:ps 9 vzipWith_rhs_1
:ps 13 word_length_rhs_2