@@ -342,6 +342,10 @@ instance Show FunArg where
342342 showPrec d (MkFunArg n ty plic era) = showCon d "MkFunArg" $ showArg n ++
343343 showArg ty ++ showArg plic ++ showArg era
344344
345+instance Show CtorArg where
346+ showPrec d (CtorParameter fa) = showCon d "CtorParameter" $ showArg fa
347+ showPrec d (CtorField fa) = showCon d "CtorField" $ showArg fa
348+
345349instance Show TyDecl where
346350 showPrec d (Declare fn args ret) = showCon d "Declare" $ showArg fn ++
347351 showArg args ++ showArg ret