Control.Monad.Open.Class

class MonadOpen a b m

data Op a m b