Combine three containers elementwise using some function.
Combine two containers elementwise using some function.
Combine three containers elementwise into a container of tuples.
Combine two containers elementwise into a container of pairs.
Convert a container of tuples into a tuple of containers.
Convert a container of pairs into a pair of containers.
A Correlative functor is a functor where, given (xs, ys : Correlative f)
,
certain elements from xs and ys can be paired with one another due to some
intrinsic property of f
. Elements that cannot be paired are discarded.