<html xmlns="http://www.w3.org/1999/xhtml"
><head
  ><link rel="stylesheet" type="text/css" href="style.css"
     /><script type="text/javascript" src="highlight.js"
    ></script
    ></head
  ><body
  ><pre
    ><span class="hs-keyword"
      >module</span
      ><span
      > </span
      ><span class="hs-identifier"
      >Constructors</span
      ><span
      > </span
      ><span class="hs-keyword"
      >where</span
      ><span
      >
</span
      ><span id="line-2"
      ></span
      ><span
      >
</span
      ><span id="line-3"
      ></span
      ><span
      >
</span
      ><span id="line-4"
      ></span
      ><span class="hs-keyword"
      >data</span
      ><span
      > </span
      ><span id="Foo"
      ><span class="annot"
	><a href="Constructors.html#Foo"
	  ><span class="hs-identifier hs-var"
	    >Foo</span
	    ></a
	  ></span
	></span
      ><span
      >
</span
      ><span id="line-5"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span id="Bar"
      ><span class="annot"
	><a href="Constructors.html#Bar"
	  ><span class="hs-identifier hs-var"
	    >Bar</span
	    ></a
	  ></span
	></span
      ><span
      >
</span
      ><span id="line-6"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >|</span
      ><span
      > </span
      ><span id="Baz"
      ><span class="annot"
	><a href="Constructors.html#Baz"
	  ><span class="hs-identifier hs-var"
	    >Baz</span
	    ></a
	  ></span
	></span
      ><span
      >
</span
      ><span id="line-7"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >|</span
      ><span
      > </span
      ><span id="Quux"
      ><span class="annot"
	><a href="Constructors.html#Quux"
	  ><span class="hs-identifier hs-var"
	    >Quux</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></span
      ><span
      >
</span
      ><span id="line-8"
      ></span
      ><span
      >
</span
      ><span id="line-9"
      ></span
      ><span class="hs-keyword"
      >newtype</span
      ><span
      > </span
      ><span id="Norf"
      ><span class="annot"
	><a href="Constructors.html#Norf"
	  ><span class="hs-identifier hs-var"
	    >Norf</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span id="Norf"
      ><span class="annot"
	><a href="Constructors.html#Norf"
	  ><span class="hs-identifier hs-var"
	    >Norf</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="hs-special"
      >[</span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span class="hs-special"
      >]</span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      >
</span
      ><span id="line-10"
      ></span
      ><span
      >
</span
      ><span id="line-11"
      ></span
      ><span
      >
</span
      ><span id="line-12"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#bar"
	><span class="hs-identifier hs-type"
	  >bar</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#baz"
	><span class="hs-identifier hs-type"
	  >baz</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#quux"
	><span class="hs-identifier hs-type"
	  >quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-13"
      ></span
      ><span id="bar"
      ><span class="annot"
	><span class="annottext"
	  >bar :: Foo
</span
	  ><a href="Constructors.html#bar"
	  ><span class="hs-identifier hs-var hs-var"
	    >bar</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="Constructors.html#Bar"
	><span class="hs-identifier hs-var"
	  >Bar</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-14"
      ></span
      ><span id="baz"
      ><span class="annot"
	><span class="annottext"
	  >baz :: Foo
</span
	  ><a href="Constructors.html#baz"
	  ><span class="hs-identifier hs-var hs-var"
	    >baz</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="Constructors.html#Baz"
	><span class="hs-identifier hs-var"
	  >Baz</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-15"
      ></span
      ><span id="quux"
      ><span class="annot"
	><span class="annottext"
	  >quux :: Foo
</span
	  ><a href="Constructors.html#quux"
	  ><span class="hs-identifier hs-var hs-var"
	    >quux</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int -&gt; Foo
</span
	><a href="Constructors.html#Quux"
	><span class="hs-identifier hs-var"
	  >Quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="Constructors.html#quux"
	><span class="hs-identifier hs-var"
	  >quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-number"
	>0</span
	></span
      ><span
      >
</span
      ><span id="line-16"
      ></span
      ><span
      >
</span
      ><span id="line-17"
      ></span
      ><span
      >
</span
      ><span id="line-18"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-type"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >-&gt;</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></span
      ><span
      >
</span
      ><span id="line-19"
      ></span
      ><span id="unfoo"
      ><span class="annot"
	><span class="annottext"
	  >unfoo :: Foo -&gt; Int
</span
	  ><a href="Constructors.html#unfoo"
	  ><span class="hs-identifier hs-var hs-var"
	    >unfoo</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Bar"
	><span class="hs-identifier hs-type"
	  >Bar</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-number"
	>0</span
	></span
      ><span
      >
</span
      ><span id="line-20"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Baz"
	><span class="hs-identifier hs-type"
	  >Baz</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-number"
	>0</span
	></span
      ><span
      >
</span
      ><span id="line-21"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Quux"
	><span class="hs-identifier hs-type"
	  >Quux</span
	  ></a
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >foo :: Foo
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >foo</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >n :: Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >n</span
	    ></a
	  ></span
	></span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-number"
	>42</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>*</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >n</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>+</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >foo</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-22"
      ></span
      ><span
      >
</span
      ><span id="line-23"
      ></span
      ><span
      >
</span
      ><span id="line-24"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unnorf"
	><span class="hs-identifier hs-type"
	  >unnorf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Norf"
	><span class="hs-identifier hs-type"
	  >Norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >-&gt;</span
      ><span
      > </span
      ><span class="hs-special"
      >[</span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span class="hs-special"
      >]</span
      ><span
      >
</span
      ><span id="line-25"
      ></span
      ><span id="unnorf"
      ><span class="annot"
	><span class="annottext"
	  >unnorf :: Norf -&gt; [Foo]
</span
	  ><a href="Constructors.html#unnorf"
	  ><span class="hs-identifier hs-var hs-var"
	    >unnorf</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Norf"
	><span class="hs-identifier hs-type"
	  >Norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Bar"
	><span class="hs-identifier hs-type"
	  >Bar</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >xs :: [Foo]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >xs</span
	    ></a
	  ></span
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Bar"
	><span class="hs-identifier hs-type"
	  >Bar</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[Foo]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >xs</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-26"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unnorf"
	><span class="hs-identifier hs-var"
	  >unnorf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Norf"
	><span class="hs-identifier hs-type"
	  >Norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Baz"
	><span class="hs-identifier hs-type"
	  >Baz</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >xs :: [Foo]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >xs</span
	    ></a
	  ></span
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Baz"
	><span class="hs-identifier hs-type"
	  >Baz</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[Foo] -&gt; [Foo]
forall a. [a] -&gt; [a]
</span
	><span class="hs-identifier hs-var"
	>reverse</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[Foo]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >xs</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-27"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unnorf"
	><span class="hs-identifier hs-var"
	  >unnorf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-identifier"
      >_</span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[Foo]
forall a. HasCallStack =&gt; a
</span
	><span class="hs-identifier hs-var"
	>undefined</span
	></span
      ><span
      >
</span
      ><span id="line-28"
      ></span
      ><span
      >
</span
      ><span id="line-29"
      ></span
      ><span
      >
</span
      ><span id="line-30"
      ></span
      ><span class="annot"
      ><a href="Constructors.html#unnorf%27"
	><span class="hs-identifier hs-type"
	  >unnorf'</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Constructors.html#Norf"
	><span class="hs-identifier hs-type"
	  >Norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >-&gt;</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></span
      ><span
      >
</span
      ><span id="line-31"
      ></span
      ><span id="unnorf%27"
      ><span class="annot"
	><span class="annottext"
	  >unnorf' :: Norf -&gt; Int
</span
	  ><a href="Constructors.html#unnorf%27"
	  ><span class="hs-identifier hs-var hs-var"
	    >unnorf'</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >x :: Norf
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >x</span
	    ></a
	  ></span
	></span
      ><span class="hs-glyph"
      >@</span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Norf"
	><span class="hs-identifier hs-type"
	  >Norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >f1 :: Foo
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >f1</span
	    ></a
	  ></span
	></span
      ><span class="hs-glyph"
      >@</span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Quux"
	><span class="hs-identifier hs-type"
	  >Quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-identifier"
      >_</span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >n :: Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >n</span
	    ></a
	  ></span
	></span
      ><span class="hs-special"
      >)</span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="hs-identifier"
      >_</span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >f2 :: Foo
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >f2</span
	    ></a
	  ></span
	></span
      ><span class="hs-glyph"
      >@</span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><a href="Constructors.html#Quux"
	><span class="hs-identifier hs-type"
	  >Quux</span
	  ></a
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >f3 :: Foo
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >f3</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-identifier"
      >_</span
      ><span class="hs-special"
      >)</span
      ><span class="hs-special"
      >)</span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      >
</span
      ><span id="line-32"
      ></span
      ><span
      >    </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >x'</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>+</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >n</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>*</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >f1</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>+</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >aux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >f3</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-33"
      ></span
      ><span
      >  </span
      ><span class="hs-keyword"
      >where</span
      ><span
      >
</span
      ><span id="line-34"
      ></span
      ><span
      >    </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >aux :: Foo -&gt; Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var hs-var"
	    >aux</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >fx :: Foo
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >fx</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >f2</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>*</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >fx</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span
	><span class="hs-operator hs-var"
	>*</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Foo
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >f3</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-35"
      ></span
      ><span
      >    </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >x' :: Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var hs-var"
	    >x'</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[Int] -&gt; Int
forall (t :: * -&gt; *) a. (Foldable t, Num a) =&gt; t a -&gt; a
</span
	><span class="hs-identifier hs-var"
	>sum</span
	></span
      ><span
      > </span
      ><span 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
      ><span class="annot"
      ><span class="annottext"
	>Foo -&gt; Int
</span
	><a href="Constructors.html#unfoo"
	><span class="hs-identifier hs-var"
	  >unfoo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>([Foo] -&gt; [Int]) -&gt; (Norf -&gt; [Foo]) -&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"
	>Norf -&gt; [Foo]
</span
	><a href="Constructors.html#unnorf"
	><span class="hs-identifier hs-var"
	  >unnorf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(Norf -&gt; Int) -&gt; Norf -&gt; Int
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span
	><span class="hs-operator hs-var"
	>$</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Norf
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >x</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-36"
      ></span
      ></pre
    ></body
  ></html
>