title: Partial lift for Monads?
body: <p>Is there something like a partial lift for monads?
  I need the type signature to be this:</p>
  
  <pre class="lang-hs prettyprint-override"><code>Monad m =&gt; (a1 -&gt; r) -&gt; a1 -&gt; m r
  </code></pre>
  
  <p>Instead of this:</p>
  
  <pre class="lang-hs prettyprint-override"><code>Monad m =&gt; (a1 -&gt; r) -&gt; m a1 -&gt; m r
  </code></pre>
  
  <p>For use with <code>&gt;=&gt;</code> and other reasons. I'm looking for the canonical way of doing the above.</p>