Updated "TraverseState" which generates the AC variant of the function.
New version drops the forkFinally and returns actual types if you so
desire.

This presents a more flexible framework as well as pushing the fork
control to where it belongs... hanging like an exoskeleton on your code