oops

I just realised my hasty response to Tom Leinster was to the question of pullback of a monadic alond an *arbitrary* functor; not Tom's question! --Ross