Zip[({type λ[α] = S ==>> α})#λ]