title: What are arguments to a monad bind operation formally called?
body: <p>For example, in the list monad bind operation:</p>
  
  <pre><code>xs &gt;&gt;= f = concat (map f xs)
  </code></pre>
  
  <p>What is the argument f called? A binder? mapper? transformer? </p>