Typ-Argumente (Beispiel)

Typ-Abstraktion, Typ-Applikation:

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

zur Laufzeit werden die Abstraktionen und Typ-Applikationen ignoriert