\begin{slide}{Typ-Argumente (Beispiel)}

Typ-Abstraktion, Typ-Applikation:
\begin{verbatim}
let { t = \ ( t :: Type ) 
         ->  \ ( f :: t -> t ) -> 
      	        \ ( x :: t ) -> 
                      f ( f x )
    ; s = \ ( x :: Int ) -> x + 1
    }
in  (((t [Int -> Int]) (t [Int])) s) 0
\end{verbatim}

zur Laufzeit werden die Abstraktionen
und Typ-Applikationen \emph{ignoriert}  

\end{slide}
