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