Represents a value to use in tail-recursive loops. Usually understood to be the value t pass to the next stage of the loop so it can continue (and either generated by the previous loop-stage or is the initial trigger-value.

On its own this doesn't do much, but allows other types to convert from it and provide binding extensions that mean it can be lifted into other monads without specifying lots of extra generic arguments.