Background
I'm defining the semantics of a programming language, and I'd like to use a monad to help me. My specific monad, not that it much matters, is
$ M(\tau) = \mathcal P(\tau \times \mathcal P(\mathit{cnstrnt}) \times \mathit{eventstructure})$.
The idea is that expressions in my language will be given denotations of type $M(\mathit{value})$, and statements will be given denotations of type $M(1)$.
Anyway, I define a 'bind' operator on my monad, with the usual type
$M(\tau) \rightarrow (\tau \rightarrow M(\pi)) \rightarrow M(\pi)$.
Question
What is a good syntax for my 'bind' operator? If I stay very close to functional programming syntax, I get something like this
$e_1 >\!\!>\!= \lambda v\ldotp e_2$
But I'm in math world now, so I have more typographical flexibility. The "$>\!\!>\!= \lambda \_$" sequence appears a lot in my definitions, so I'm wondering if I can optimise it into a single operator, perhaps like this:
$e_1 \triangleright_v e_2$
I almost like this very much. The main problem, I think, is that it's not clear from the notation that $v$ is bound in the right-hand operand.
Can anybody suggest a compact and readable notation along these lines? Or even along different lines? How do you folk write your 'bind' operators when you're not constrained to Haskell syntax?
