title: Haskell version of Idris !-notation (bang notation)
body: <p>I've had the luxury of learning a bit of Idris lately and one thing I've found extremely convenient is the <a href="https://idris2.readthedocs.io/en/latest/tutorial/interfaces.html?highlight=do%20notation#notation" rel="nofollow noreferrer"><code>!</code>-notation</a>, which let's me shorten monadic code inside a do block such as</p>
  <pre><code>a' &lt;- a
  b' &lt;- b
  c' &lt;- c
  someFunction a' b' c'
  </code></pre>
  <p>to the much nicer</p>
  <pre><code>someFunction !a !b !c
  </code></pre>
  <p>Now when I write code in Haskell, I'm looking for something similar but as far as I can tell it doesn't exist (and the bang character is obviously already used for  strict pattern matching). Is there any way to avoid having a bunch of trivial left arrows inside a do block?  Perhaps an extension that adds a rewriting rule, or something to that effect?</p>