\begin{code}
module Issue97 where
\end{code}