InPort ZipWithNSY addOnef n_0 = n_0 GHC.Num.+ 1 OutPort