Extract expected monad configuration.
Change operator|() by operator&().
Adapt to new monad interface.