diff --git a/src/Bang/AST/Declaration.hs b/src/Bang/AST/Declaration.hs
index 63e0013..02d8c7a 100644
--- a/src/Bang/AST/Declaration.hs
+++ b/src/Bang/AST/Declaration.hs
@@ -74,8 +74,8 @@ ppValueDeclaration vd = frees $+$ typedecl $+$ valuedecl
     text "free value variables: " <+>
     braces (hsep (punctuate comma (map ppName (_vdFreeValueVariables vd))))
   typedecl
-    | Just dt <- _vdDeclaredType vd =
-        ppTypeDeclaration (TypeDeclaration (_vdName vd) (_vdLocation vd) dt)
+    | Just t <- _vdDeclaredType vd =
+        ppName (_vdName vd) <+> text "::" <+> ppType t
     | otherwise = empty
   valuedecl = ppName (_vdName vd) <+> text "=" <+> ppExpression (_vdValue vd)