Control.Monad.Free.Zip

zipFree

zipFree_