Actually add instances for ArityC
Add zip for vectors
Add zipFold
Missing export
Add Eq and Ord instances for HVec