%include polycode.fmt
%subst keyword a = "\textcolor{BlueViolet}{\textbf{" a "}}"

\begin{code}
module Example where

\end{code}
%<*example>
\begin{code}
example :: Int
example :: Int
example = Int
3
\end{code}
%</example>