change the definition of MonadBr to match MonadTrigger#36

nchappe merged 1 commit intodevvellvm/ctrees:devfrom

mbranch-argsvellvm/ctrees:mbranch-argsCopy head branch name to clipboard