Splicing bindings

Is there a way to splice in a

  nm <- m

binding?  I.e., I'd like something along the lines of
 mdo 
  ...
  $(defNm nm m)
  ...
  ... nm ...
  ...

which would expand to

 mdo
  ...
  nm <- name "nm" m
  ...
  ... nm ...
  ...

.  Is this possible?

	thanks,
	mike