Control.Monad.Trans.Finish

type Finish f α

runFinish

runFinish'

data FinishT f μ α

runFinishT'

finish