runST package:hxt

run an arrow with augmented state in the context of a simple state arrow. An initial value for the new state component is needed. This is useful, when running an arrow with an extra environment component, e.g. for namespace handling in XML.