This should not compile:

\end{code}

> module T8430 where
> main = putStr "a"