Accumulates an integer-associated list into an immutable array.
Allows the result of a state transformer computation to be used lazily inside the computation.
Allocates a fresh mutable array.
Allocates a fresh mutable reference.
Put a value in a state thread
Run a state thread