MonoZip down to 1 type variable