Control.Monad.Union.Class

class MonadUnion l m