@@ -342,6 +342,10 @@ instance Show FunArg where
342 showPrec d (MkFunArg n ty plic era) = showCon d "MkFunArg" $ showArg n ++
342 showPrec d (MkFunArg n ty plic era) = showCon d "MkFunArg" $ showArg n ++
343 showArg ty ++ showArg plic ++ showArg era
343 showArg ty ++ showArg plic ++ showArg era
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
345instance Show TyDecl where
349instance Show TyDecl where
346 showPrec d (Declare fn args ret) = showCon d "Declare" $ showArg fn ++
350 showPrec d (Declare fn args ret) = showCon d "Declare" $ showArg fn ++
347 showArg args ++ showArg ret
351 showArg args ++ showArg ret