This module provides a notion of (Splittable) State that is compatible with any Par monad.
Common examples for applications of
include (1) routing a splittable random number generator through
a parallel computation, and (2) keeping a tree-index that locates
the current computation within the binary tree of