title: What does '((->) a)' mean?
body: <p>I've seen this type before without knowing what it means. Does it mean something 
  and/or does it have a name?</p>
  
  <pre><code>Prelude&gt; :m Data.Functor
  Prelude Data.Functor&gt; :t flip . (flip (&lt;$&gt;))
  flip . (flip (&lt;$&gt;))
  :: Functor ((-&gt;) b) =&gt; (b -&gt; a) -&gt; b -&gt; (a -&gt; c) -&gt; c
  </code></pre>