+\begin{frame}[fragile]
+ \frametitle{But wait, there is more!}
+ \framesubtitle{Trouble that is}
+ \begin{itemize}
+ \item Polymorphism is not working great either.
+ \begin{CleanCode}
+id(x) :: a -> a {
+ return x;
+}
+ \end{CleanCode}
+ \pause
+ \item Is typed fun, but when we introduce:
+ \begin{CleanCode}
+var x = id(5);
+var y = id(True);
+ \end{CleanCode}
+ \pause
+ \begin{CleanCode}
+2:12 SemError: Cannot unify types. Expected: Int. Given: Bool
+ \end{CleanCode}
+ \end{itemize}
+\end{frame}
+
+\begin{frame}[fragile]
+ \frametitle{But wait, there is more!}
+ \framesubtitle{Trouble that is}
+
+ \begin
+\end{frame}
+