Control.Monad.Free.Zip
zipFree
zipFree_