<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Rang-(2/N)-Polymorphie in GHC}

\url{http://haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html}

\begin{verbatim}
{-# language Rank2Types #-}
f2 :: (forall a. a-&gt;a) -&gt; Int -&gt; Int
f4 :: Int -&gt; (forall a. a -&gt; a)

{-# language RankNTypes #-}
f3 :: ((forall a. a-&gt;a) -&gt; Int) 
    -&gt; Bool -&gt; Bool
\end{verbatim}

Rang: $1 + $ max. Tiefe der $(\Box \to *)$-Kontexte
fÃ¼r Typ-Forall

\end{slide}
</pre></body></html>