 ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
	val foldr :         ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
	val foldrEq :       ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
	val all :           ('a * 'b -> bool) -> 'a list * 'b list -> bool
	val allEq :         ('a * 'b -> bool) -> 'a list * 'b list -> bool
	val exists :        ('a * 'b -> bool) -> 'a list * 'b list -> bool
	val existsEq :      ('a * 'b -> bool) -> 'a list * 'b list -> bool
	val find :          ('a * 'b -> bo