pan class="annot"
      ><span class="annottext"
	>([Int] -&gt; Int) -&gt; (Norf -&gt; [Int]) -&gt; Norf -&gt; Int
forall b c a. (b -&gt; c) -&gt; (a -&gt; b) -&gt; a -&gt; c
</span
	><span class="hs-operator hs-var"
	>.</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(Foo -&gt; Int) -&gt; [Foo] -&gt; [Int]
forall a b. (a -&gt; b) -&gt; [a] -&gt; [b]
</span
	><span class="hs-identifier hs-var"
	>map</span
	></span
      ><span
      > </span
      ><spa