Control.Monad.Finish.Class
class
MonadFinish
f μ