Agda-2.3.2.2: test/succeed/Issue97.lagda

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