Gave a simpler and more general FSwap for sequential composition.