GotoT-transformers

A monad and monadic transformer providing "goto" functionality.

This module provides a monad and a monad transformer that allow the user to transfer the flow of execution from an arbitrary point of a monadic computation to another monadic computation.