: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