aboutsummaryrefslogblamecommitdiff
path: root/hypsrc-test/ref/src/Operators.html
blob: 289684a0cc4ba4c6c9ea191e4d5f9b1eff02f792 (plain) (tree)
1
2
3
4
5
6
7
8
9
10








                                                          
            

                                  
            

                               
            
       
      
                        

            
                        

            
                        
                  





















































                                              
            


                        
                  
                                
              




















                                                  
                  
                                
              





                                             
            
                             
              
            
              

                              
      
                                           
                  
               
            
              






                                         
            
              




                                           
                  
               
            
              






                                         
            
              







                                           
            
       
      
                        

            
                        
                  





















































                                              
            


                        
                  
                                
              




















                                                  
                  
                                
              





                                             
            
                             
              
            
              

                              
      

                                           
              
               
            
              






                                           
              
               
            
              





                                           
              
               

            
                        
            
       
      
                         
                  





















































                                              
            
       













                                                  
                  
                                
              





                                             
            



                               
            

                             
            
              







                                           
            
       






                                         
            
              
                  
                                
              





                                             
            

                               





                                    


                                     
                  
                                
              





                                             
                               
            

                             
            
              







                                           
            
              








                                           
            

                               







                                           
            
              








                                           
            
              







                                           
                               
            
       
      
                         

            
                         
                  

























































                                              
            
       
                         
                  
                                
                




















                                                  
                  
                                
              





                                             
            

                             
            
              






                                                                               
            

                               








                                           
            
              







                                           
                               
            
              







                                           

            
                         
            
       
      
                         
                  

































































                                                    
            


                         
                  
                                
                




















                                                      
                  
                                
                





                                             
            
                             
              
            
              






                                                                          
            
              








                                              
            

                               

                              
      
                                           
                  
               
            
              






                                           
              
               
            
              




                                           
                  
               
                               
            

                               







                                           
            
              








                                           
            
              







                                           
                               

            
                         

            
                         
            
       
      
                         

                    









































































                                                  
            
       
                         
                  
                                
            




















                                                  
                  
                                
            





                                             
            

                             
            
              






                                           
            
              






                                                                        
            

                               







                                           
                               
            
              







                                           
                               
            
       
      
                         

            
 
<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"
      >Operators</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 id=""
      ><span class="annot"
	><a href="Operators.html#%2B%2B%2B"
	  ><span class="hs-operator hs-type"
	    >(+++)</span
	    ></a
	  ></span
	><span
	> </span
	><span class="hs-glyph"
	>::</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	></span
      ><span
      >
</span
      ><span id="line-5"
      ></span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id="%2B%2B%2B"
      ><span class="annot"
	><span class="annottext"
	  >+++ :: [a] -&gt; [a] -&gt; [a]
</span
	  ><a href="Operators.html#%2B%2B%2B"
	  ><span class="hs-operator hs-var hs-var"
	    >+++</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >b</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><span class="hs-operator hs-var"
	>++</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><span class="hs-operator hs-var"
	>++</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-6"
      ></span
      ><span
      >
</span
      ><span id="line-7"
      ></span
      ><span id=""
      ><span class="annot"
	><a href="Operators.html#%24%24%24"
	  ><span class="hs-operator hs-type"
	    >($$$)</span
	    ></a
	  ></span
	><span
	> </span
	><span class="hs-glyph"
	>::</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	></span
      ><span
      >
</span
      ><span id="line-8"
      ></span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id="%24%24%24"
      ><span class="annot"
	><span class="annottext"
	  >$$$ :: [a] -&gt; [a] -&gt; [a]
</span
	  ><a href="Operators.html#%24%24%24"
	  ><span class="hs-operator hs-var hs-var"
	    >$$$</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >b</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%2B%2B%2B"
	><span class="hs-operator hs-var"
	  >+++</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-9"
      ></span
      ><span
      >
</span
      ><span id="line-10"
      ></span
      ><span id=""
      ><span class="annot"
	><a href="Operators.html#%2A%2A%2A"
	  ><span class="hs-operator hs-type"
	    >(***)</span
	    ></a
	  ></span
	><span
	> </span
	><span class="hs-glyph"
	>::</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	></span
      ><span
      >
</span
      ><span id="line-11"
      ></span
      ><span id="%2A%2A%2A"
      ><span class="annot"
	><span class="annottext"
	  >*** :: [a] -&gt; [a] -&gt; [a]
</span
	  ><a href="Operators.html#%2A%2A%2A"
	  ><span class="hs-operator hs-var hs-var"
	    >(***)</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </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"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-12"
      ></span
      ><span class="annot"
      ><a href="Operators.html#%2A%2A%2A"
	><span class="hs-operator hs-var"
	  >(***)</span
	  ></a
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>a
</span
	><span class="hs-identifier"
	>_</span
	></span
      ><span class="annot"
      ><span class="hs-glyph hs-type"
	>:</span
	></span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >b</span
	    ></a
	  ></span
	></span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%2B%2B%2B"
	><span class="hs-operator hs-var"
	  >+++</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%2A%2A%2A"
	><span class="hs-operator hs-var"
	  >***</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      >
</span
      ><span id="line-13"
      ></span
      ><span
      >
</span
      ><span id="line-14"
      ></span
      ><span id=""
      ><span class="annot"
	><a href="Operators.html#%2A%2F%5C%2A"
	  ><span class="hs-operator hs-type"
	    >(*/\*)</span
	    ></a
	  ></span
	><span
	> </span
	><span class="hs-glyph"
	>::</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	></span
      ><span
      >
</span
      ><span id="line-15"
      ></span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[[a]]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id="%2A%2F%5C%2A"
      ><span class="annot"
	><span class="annottext"
	  >*/\* :: [[a]] -&gt; [a] -&gt; [a]
</span
	  ><a href="Operators.html#%2A%2F%5C%2A"
	  ><span class="hs-operator hs-var hs-var"
	    >*/\*</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[a]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >b</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>([a] -&gt; [a]) -&gt; [[a]] -&gt; [a]
forall (t :: * -&gt; *) a b. Foldable t =&gt; (a -&gt; [b]) -&gt; t a -&gt; [b]
</span
	><span class="hs-identifier hs-var"
	>concatMap</span
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%2A%2A%2A"
	><span class="hs-operator hs-var"
	  >***</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[a]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[[a]]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-16"
      ></span
      ><span
      >
</span
      ><span id="line-17"
      ></span
      ><span id=""
      ><span class="annot"
	><a href="Operators.html#%2A%2A%2F%5C%2A%2A"
	  ><span class="hs-operator hs-type"
	    >(**/\**)</span
	    ></a
	  ></span
	><span
	> </span
	><span class="hs-glyph"
	>::</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span class="hs-special"
	>]</span
	><span
	> </span
	><span class="hs-glyph"
	>-&gt;</span
	><span
	> </span
	><span class="hs-special"
	>[</span
	><span class="hs-special"
	>[</span
	><span class="annot"
	><a href="#"
	  ><span class="hs-identifier hs-type"
	    >a</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	><span class="hs-special"
	>]</span
	></span
      ><span
      >
</span
      ><span id="line-18"
      ></span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[[a]]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id="%2A%2A%2F%5C%2A%2A"
      ><span class="annot"
	><span class="annottext"
	  >**/\** :: [[a]] -&gt; [[a]] -&gt; [[a]]
</span
	  ><a href="Operators.html#%2A%2A%2F%5C%2A%2A"
	  ><span class="hs-operator hs-var hs-var"
	    >**/\**</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >[[a]]
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >b</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>([[a]] -&gt; [a] -&gt; [a]) -&gt; [[[a]]] -&gt; [[a]] -&gt; [[a]]
forall a b c. (a -&gt; b -&gt; c) -&gt; [a] -&gt; [b] -&gt; [c]
</span
	><span class="hs-identifier hs-var"
	>zipWith</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[[a]] -&gt; [a] -&gt; [a]
forall a. [[a]] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%2A%2F%5C%2A"
	><span class="hs-operator hs-var"
	  >(*/\*)</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >[</span
      ><span class="annot"
      ><span class="annottext"
	>[[a]]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[[a]] -&gt; [[a]] -&gt; [[a]]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%2B%2B%2B"
	><span class="hs-operator hs-var"
	  >+++</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[[a]]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span class="hs-special"
      >]</span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>[[a]]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[[a]] -&gt; [[a]] -&gt; [[a]]
forall a. [a] -&gt; [a] -&gt; [a]
</span
	><a href="Operators.html#%24%24%24"
	><span class="hs-operator hs-var"
	  >$$$</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>[[a]]
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      >
</span
      ><span id="line-19"
      ></span
      ><span
      >
</span
      ><span id="line-20"
      ></span
      ><span
      >
</span
      ><span id="line-21"
      ></span
      ><span id=""
      ><span id=""
	><span id=""
	  ><span class="annot"
	    ><a href="Operators.html#%23.%23"
	      ><span class="hs-operator hs-type"
		>(#.#)</span
		></a
	      ></span
	    ><span
	    > </span
	    ><span class="hs-glyph"
	    >::</span
	    ><span
	    > </span
	    ><span class="annot"
	    ><a href="#"
	      ><span class="hs-identifier hs-type"
		>a</span
		></a
	      ></span
	    ><span
	    > </span
	    ><span class="hs-glyph"
	    >-&gt;</span
	    ><span
	    > </span
	    ><span class="annot"
	    ><a href="#"
	      ><span class="hs-identifier hs-type"
		>b</span
		></a
	      ></span
	    ><span
	    > </span
	    ><span class="hs-glyph"
	    >-&gt;</span
	    ><span
	    > </span
	    ><span class="hs-special"
	    >(</span
	    ><span class="annot"
	    ><a href="#"
	      ><span class="hs-identifier hs-type"
		>c</span
		></a
	      ></span
	    ><span
	    > </span
	    ><span class="hs-glyph"
	    >-&gt;</span
	    ><span
	    > </span
	    ><span class="hs-special"
	    >(</span
	    ><span class="annot"
	    ><a href="#"
	      ><span class="hs-identifier hs-type"
		>a</span
		></a
	      ></span
	    ><span class="hs-special"
	    >,</span
	    ><span
	    > </span
	    ><span class="annot"
	    ><a href="#"
	      ><span class="hs-identifier hs-type"
		>b</span
		></a
	      ></span
	    ><span class="hs-special"
	    >)</span
	    ><span class="hs-special"
	    >)</span
	    ></span
	  ></span
	></span
      ><span
      >
</span
      ><span id="line-22"
      ></span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >a
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >a</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id="%23.%23"
      ><span class="annot"
	><span class="annottext"
	  >#.# :: a -&gt; b -&gt; c -&gt; (a, b)
</span
	  ><a href="Operators.html#%23.%23"
	  ><span class="hs-operator hs-var hs-var"
	    >#.#</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >b
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >b</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(a, b) -&gt; c -&gt; (a, b)
forall a b. a -&gt; b -&gt; a
</span
	><span class="hs-identifier hs-var"
	>const</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>((a, b) -&gt; c -&gt; (a, b)) -&gt; (a, b) -&gt; c -&gt; (a, b)
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span
	><span class="hs-operator hs-var"
	>$</span
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>a
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>b
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >b</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      >
</span
      ><span id="line-23"
      ></span
      ></pre
    ></body
  ></html
>