Zero
eff
ZeroMemberNat
MemberNat
ZeroPredicate
P
zip
zipFoldFunctions FoldM
zipFoldFunctions
Functions
zipWithState1
Processes