Let's reiterate. Haskell is:
\begin{itemize}
\item functional
\item pure
\item lazy
\item statically typed (and truly type-safe)
\item even garbage collected
\item the world's finest imperative language (what??)
\end{itemize}