compose F Z U Z F U reverse V reverse2 V nil reverse2 nil W W reverse2 cons X1 Y1 P reverse2 Y1 cons X1 P hd cons U1 V1 U1 tl cons W1 P1 P1 last compose hd reverse init compose reverse compose tl reverse F a a Z a a U a V a W a P a X1 a Y1 a U1 a V1 a W1 a P1 a compose a a a a a a cons a a a hd a a init a a last a a nil a reverse a a reverse2 a a a tl a a FULL benchmarks/applicative/Applicative_05__ReverseLastInit.atrs