Control.Monad.Trans.Finish

data FinishT f μ α

runFinishT'

finish

type Finish f α

runFinish

runFinish'