Edward Kmett wrote: > <**> cannot be defined in terms of flip as it swaps the order of the effects as well. But I thought: (<**>) = liftA2 (flip ($)) :) -- Live well, ~wren