Typ-Argumente (Beispiel)

Typ-Abstraktion, Typ-Applikation:

let { t = \ <t> 
         ->  \ ( f : t -> t ) -> 
      	        \ ( x : t ) -> 
                      f ( f x )
    ; s = \ ( x : int ) -> x + 1
    }
in  (((t <int -> int>) (t <int>)) s) 0

zur Laufzeit werden die Abstraktionen und Typ-Applikationen ignoriert