minus X 0 X minus s Y s U minus Y U quot 0 s V 0 quot s W s P s quot minus W P s P plus 0 X1 X1 plus s Y1 U1 s plus Y1 U1 plus minus V1 s 0 minus W1 s s P1 plus minus W1 s s P1 minus V1 s 0 plus plus X2 s 0 plus Y2 s s U2 plus plus Y2 s s U2 plus X2 s 0 map H2 nil nil map I2 cons P2 X3 cons I2 P2 map I2 X3 filter Z3 nil nil filter G3 cons V3 W3 filter2 G3 V3 G3 V3 W3 filter2 true J3 X4 Y4 cons X4 filter J3 Y4 filter2 false G4 V4 W4 filter G4 W4 X a Y a U a V a W a P a X1 a Y1 a U1 a V1 a W1 a P1 a X2 a Y2 a U2 a H2 c c I2 c c P2 c X3 d Z3 c b G3 c b V3 c W3 d J3 c b X4 c Y4 d G4 c b V4 c W4 d 0 a cons c d d false b filter c b d d filter2 b c b c d d map c c d d minus a a a nil d plus a a a quot a a a s a a true b FULL benchmarks/applicative/Applicative_first_order_05__#3.40.atrs