Haskell disallows bad programs

VL1.tex

@@ -69,6 +69,7 @@
 A Haskeller might claim: haskell...
 \begin{itemize}[<+->]
 \item eliminates certain classes of bugs
+\item not only disallows bad programs, but also defines what constitutes a bad program
 \item makes it easy to reason about code
 \item decreases the bus-factor
 \item makes it possible to apply huge changes to large programs without worrying about the implicit state machine