Change definiion of applyTy method to make it consistent with apply
Add zipMonoF
Refactor
merge