\begin{slide}{Motivation}

ungetypt:
\begin{verbatim}
let { t = \ f x -> f (f x)
    ; s = \ x -> x + 1
    } in (t t s) 0
\end{verbatim}
einfach getypt nur so möglich:
\begin{verbatim}
let { t2 = \ (f :: (Int -> Int) -> (Int -> Int)) 
             (x :: Int -> Int) -> f (f x)
    ; t1 = \ (f :: Int -> Int) (x :: Int) -> f (f x)
    ; s = \ (x :: Int) -> x + 1
    } in (t2 t1 s) 0
\end{verbatim}
wie besser?

\end{slide}


