Fun, Iterator1) -&gt; Iterator2</tt>
<ul class="definitions"><li><tt>Fun = <a href="#type-map">map</a>(A, B)</tt></li><li><tt>Iterator1 = <a href="#type-iterator">iterator</a>(A)</tt></li><li><tt>Iterator2 = <a href="#type-iterator">iterator</a>(B)</tt></li></ul></p>
<p> </p>
</div><p>
  Takes a function <code>Fun</code> from <code>A</code>s to <code>B</code>s, and an <code>Iterator1</code> of
  <code>A</code>s and produces an <code>Iterator2</code> of <code>B</code>s by applying the function
  to every ele