Control.Monad.Finish

class MonadFinish f μ

type Finish f α

runFinish

runFinish'

data FinishT f μ α

runFinishT'