aboutsummaryrefslogblamecommitdiff
path: root/hypsrc-test/ref/src/Identifiers.html
blob: a983182d727bd8c18a45d91e514be43b2db937d6 (plain) (tree)
1
2
3
4
5
6
7
8






                                                          






                                         
                   
            

                                  
            

                               
            
       
      
                        
             

            
                        
             

            
                        





                                            
                               
            
              




                                            
                               
            
              




                                            
            

                             
            
              
                          
                                          
                  
            

                             
            
              
                          
                                          
                  
            

                             
            
              
                          
                                          
                  
            
       
                        












                                                    
                  
                                
              







                                             
                  
                                
              





                                             
            

                             
            
              







                                           
            
              






                                         
            
              







                                           
            
              






                                         
            
              







                                           
            
              







                                           
            
              







                                           
            
              






                                         
            
              

                              
      

                                           
              
               
            
              






                                         
            
              




                                           
                  


               
                        












                                                    
                  
                                
              







                                             
                  
                                
              





                                             
            

                             
            
              







                                           
            
              






                                         
            
              







                                           
            
              






                                       
            
              







                                           
            
              







                                           
            
              







                                           
            
              






                                       
            
              

                              
      

                                           
              
               
            
              






                                         
            
              




                                           
                  


               
                        












                                                    
                  
                                
              







                                             
                  
                                
              





                                             
            

                             
            
              







                                           
            
              






                                         
            
              







                                           
            
              






                                         
            
              







                                           
            
              






                                         
            
              







                                           
            
              






                                         
            
              







                                           

            
                        
             
            
       
      
                         





                                            
            

                             
            
              
                          
                                          
                  
            

                             
            
              
                          
                                          
                  
            
       
                         












                                                    
                  
                                
              





                                             
            

                             
            
              







                                           
            

                               







                                           
            
              







                                           
            
              







                                           
                               
            

                               







                                           
            
              







                                           
            
              







                                           
                               
            
       
      
                         
             

            
                         





                                            
            

                             
            
              
                          
                                          
                  
            

                             
            
              
                          
                                          
                  
            

                             
            
              
                          
                                          
                  
            

                             
            
              
                          
                                          
                  
            
       
                         












                                                    
                  
                                
              







                                             
                  
                                
              







                                             
                  
                                
              





                                             
            
       
      
                         
             
                 
                             
            
              







                                           
            
              






                                          
            
              
                          


                                
                
            

                             
            
              







                                           
            
              







                                           
            
       
      
                         
             
                 
                             
            
              







                                           
            
              






                                          
            
              
                          


                                
                
            

                             
            
              







                                           
            
              







                                           
            
       
      
                         
             
                 
                             
            
              







                                           
            
              






                                          
            
              
                          


                                
                
            

                             
            
              







                                           
            
              







                                           
            
       
      
                         
             
                 
                             
            
              





                                           
            

                             
            
              







                                           
            



                               







                                           
                               
            



                               







                                           
                               
            



                               







                                           
                               
            
       
      
                         
             

            
                         
             

            
                         





                                            
            

                             
            
              
                          
                                          
                 
            



                               
            
       
                         










                                                    
            

                             
            

                               
            
       
      
                         
             
                 





                                           
            
              






                                                                            
            
              






                                           
            
              






                                                
            
              







                                           
            
              







                                           
            
              







                                           
            
       
      
                         
             
                 





                                           
            
              






                                                                            
            
              






                                           
            
              






                                                
            
              







                                           
            
              







                                           
            
       
      
                         
             
                 





                                           
            
              






                                                                            
            
              






                                           
            
              






                                                
            
              







                                           
            
              







                                           
            
              







                                           
            
              







                                           
            
       
      
                         
             
               
                               
            
       
      
                         
             
                 
                  








                                                    
            

                             
            
              
                          


                                
                 
            
       
      
                         
             
                 
                  








                                                    
            

                             
            
              
                          


                                
                 
            
       
      
                         
             
                 
                  








                                                    
            

                             
            
              
                          


                                
                 
            
       
                         
             

            
 
<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-pragma"
      >{-# LANGUAGE Haskell2010 #-}</span
      ><span
      >
</span
      ><span id="line-2"
      ></span
      ><span class="hs-keyword"
      >module</span
      ><span
      > </span
      ><span class="hs-identifier"
      >Identifiers</span
      ><span
      > </span
      ><span class="hs-keyword"
      >where</span
      ><span
      >
</span
      ><span id="line-3"
      ></span
      ><span
      >
</span
      ><span id="line-4"
      ></span
      ><span
      >
</span
      ><span id="line-5"
      ></span
      ><span class="annot"
      ><a href="Identifiers.html#foo"
	><span class="hs-identifier hs-type"
	  >foo</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Identifiers.html#bar"
	><span class="hs-identifier hs-type"
	  >bar</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="annot"
      ><a href="Identifiers.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-identifier hs-type"
	>Int</span
	></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 class="hs-glyph"
      >-&gt;</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></span
      ><span
      >
</span
      ><span id="line-6"
      ></span
      ><span id="foo"
      ><span class="annot"
	><span class="annottext"
	  >foo :: Int -&gt; Int -&gt; Int
</span
	  ><a href="Identifiers.html#foo"
	  ><span class="hs-identifier hs-var hs-var"
	    >foo</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >x</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >y</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</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"
	  >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 -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#bar"
	><span class="hs-identifier hs-var"
	  >bar</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</span
	  ></a
	></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"
	  >y</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"
	  >y</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-7"
      ></span
      ><span id="bar"
      ><span class="annot"
	><span class="annottext"
	  >bar :: Int -&gt; Int -&gt; Int
</span
	  ><a href="Identifiers.html#bar"
	  ><span class="hs-identifier hs-var hs-var"
	    >bar</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >x</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >y</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</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"
	  >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-glyph hs-var"
	>-</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#baz"
	><span class="hs-identifier hs-var"
	  >baz</span
	  ></a
	></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
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</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-glyph hs-var"
	>-</span
	></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"
	  >y</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-8"
      ></span
      ><span id="baz"
      ><span class="annot"
	><span class="annottext"
	  >baz :: Int -&gt; Int -&gt; Int
</span
	  ><a href="Identifiers.html#baz"
	  ><span class="hs-identifier hs-var hs-var"
	    >baz</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >x</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >y</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</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"
	  >y</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"
	  >y</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"
	  >y</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"
	  >x</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-9"
      ></span
      ><span
      >
</span
      ><span id="line-10"
      ></span
      ><span class="annot"
      ><a href="Identifiers.html#quux"
	><span class="hs-identifier hs-type"
	  >quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></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-11"
      ></span
      ><span id="quux"
      ><span class="annot"
	><span class="annottext"
	  >quux :: Int -&gt; Int
</span
	  ><a href="Identifiers.html#quux"
	  ><span class="hs-identifier hs-var hs-var"
	    >quux</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier 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 -&gt; Int
</span
	><a href="Identifiers.html#foo"
	><span class="hs-identifier hs-var"
	  >foo</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#bar"
	><span class="hs-identifier hs-var"
	  >bar</span
	  ></a
	></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
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >x</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#bar"
	><span class="hs-identifier hs-var"
	  >bar</span
	  ></a
	></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
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >x</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      >
</span
      ><span id="line-12"
      ></span
      ><span
      >
</span
      ><span id="line-13"
      ></span
      ><span class="annot"
      ><a href="Identifiers.html#norf"
	><span class="hs-identifier hs-type"
	  >norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></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 class="hs-glyph"
      >-&gt;</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>Int</span
	></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-14"
      ></span
      ><span id="norf"
      ><span class="annot"
	><span class="annottext"
	  >norf :: Int -&gt; Int -&gt; Int -&gt; Int
</span
	  ><a href="Identifiers.html#norf"
	  ><span class="hs-identifier hs-var hs-var"
	    >norf</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >x</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >y</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >z</span
	    ></a
	  ></span
	></span
      ><span
      >
</span
      ><span id="line-15"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >|</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; Bool
forall a. Ord a =&gt; a -&gt; a -&gt; Bool
</span
	><span class="hs-operator hs-var"
	>&lt;</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><span class="hs-number"
	>0</span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int
</span
	><a href="Identifiers.html#quux"
	><span class="hs-identifier hs-var"
	  >quux</span
	  ></a
	></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 id="line-16"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >|</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Bool
forall a. Ord a =&gt; a -&gt; a -&gt; Bool
</span
	><span class="hs-operator hs-var"
	>&lt;</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><span class="hs-number"
	>0</span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int
</span
	><a href="Identifiers.html#quux"
	><span class="hs-identifier hs-var"
	  >quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-17"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >|</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >z</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Bool
forall a. Ord a =&gt; a -&gt; a -&gt; Bool
</span
	><span class="hs-operator hs-var"
	>&lt;</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><span class="hs-number"
	>0</span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int
</span
	><a href="Identifiers.html#quux"
	><span class="hs-identifier hs-var"
	  >quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >z</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-18"
      ></span
      ><span
      >    </span
      ><span class="hs-glyph"
      >|</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Bool
</span
	><span class="hs-identifier hs-var"
	>otherwise</span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int -&gt; Int -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#norf"
	><span class="hs-identifier hs-var"
	  >norf</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="hs-glyph"
      >-</span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >x</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="hs-glyph"
      >-</span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</span
	  ></a
	></span
      ><span class="hs-special"
      >)</span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="hs-glyph"
      >-</span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >z</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 class="annot"
      ><a href="Identifiers.html#main"
	><span class="hs-identifier hs-type"
	  >main</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >::</span
      ><span
      > </span
      ><span class="annot"
      ><span class="hs-identifier hs-type"
	>IO</span
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span class="hs-special"
      >)</span
      ><span
      >
</span
      ><span id="line-22"
      ></span
      ><span id="main"
      ><span class="annot"
	><span class="annottext"
	  >main :: IO ()
</span
	  ><a href="Identifiers.html#main"
	  ><span class="hs-identifier hs-var hs-var"
	    >main</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="hs-keyword"
      >do</span
      ><span
      >
</span
      ><span id="line-23"
      ></span
      ><span
      >    </span
      ><span class="annot"
      ><span class="annottext"
	>String -&gt; IO ()
</span
	><span class="hs-identifier hs-var"
	>putStrLn</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(String -&gt; IO ()) -&gt; (Int -&gt; String) -&gt; Int -&gt; IO ()
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"
	>Int -&gt; String
forall a. Show a =&gt; a -&gt; String
</span
	><span class="hs-identifier hs-var"
	>show</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(Int -&gt; IO ()) -&gt; Int -&gt; IO ()
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"
	>Int -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#foo"
	><span class="hs-identifier hs-var"
	  >foo</span
	  ></a
	></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
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-24"
      ></span
      ><span
      >    </span
      ><span class="annot"
      ><span class="annottext"
	>String -&gt; IO ()
</span
	><span class="hs-identifier hs-var"
	>putStrLn</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(String -&gt; IO ()) -&gt; (Int -&gt; String) -&gt; Int -&gt; IO ()
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"
	>Int -&gt; String
forall a. Show a =&gt; a -&gt; String
</span
	><span class="hs-identifier hs-var"
	>show</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(Int -&gt; IO ()) -&gt; Int -&gt; IO ()
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"
	>Int -&gt; Int
</span
	><a href="Identifiers.html#quux"
	><span class="hs-identifier hs-var"
	  >quux</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >z</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-25"
      ></span
      ><span
      >    </span
      ><span class="annot"
      ><span class="annottext"
	>String -&gt; IO ()
</span
	><span class="hs-identifier hs-var"
	>putStrLn</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(String -&gt; IO ()) -&gt; (Int -&gt; String) -&gt; Int -&gt; IO ()
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"
	>Int -&gt; String
forall a. Show a =&gt; a -&gt; String
</span
	><span class="hs-identifier hs-var"
	>show</span
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>(Int -&gt; IO ()) -&gt; Int -&gt; IO ()
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"
	>Int -&gt; Int -&gt; Int -&gt; Int
</span
	><a href="Identifiers.html#norf"
	><span class="hs-identifier hs-var"
	  >Identifiers.norf</span
	  ></a
	></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
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >y</span
	  ></a
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >z</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-26"
      ></span
      ><span
      >  </span
      ><span class="hs-keyword"
      >where</span
      ><span
      >
</span
      ><span id="line-27"
      ></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
</span
	><span class="hs-number"
	>10</span
	></span
      ><span
      >
</span
      ><span id="line-28"
      ></span
      ><span
      >    </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >y :: Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var hs-var"
	    >y</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><span class="hs-number"
	>20</span
	></span
      ><span
      >
</span
      ><span id="line-29"
      ></span
      ><span
      >    </span
      ><span id=""
      ><span class="annot"
	><span class="annottext"
	  >z :: Int
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var hs-var"
	    >z</span
	    ></a
	  ></span
	></span
      ><span
      > </span
      ><span class="hs-glyph"
      >=</span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>Int
</span
	><span class="hs-number"
	>30</span
	></span
      ><span
      >
</span
      ><span id="line-30"
      ></span
      ></pre
    ></body
  ></html
>