\begin{code} module PrimOp where data PrimOp \end{code}