@@ -144,7 +144,8 @@ renderDeclaration n exps (P.DataDeclaration dtype name args ctors) = do
144 let exported = filter (isDctorExported name exps . fst) ctors
144 let exported = filter (isDctorExported name exps . fst) ctors
145 atIndent n $ show dtype ++ " " ++ typeName ++ (if null exported then "" else " where")
145 atIndent n $ show dtype ++ " " ++ typeName ++ (if null exported then "" else " where")
146 forM_ exported $ \(ctor, tys) ->
146 forM_ exported $ \(ctor, tys) ->
147+ let ctorTy = foldr P.function (P.TypeConstructor (P.Qualified Nothing name)) tys
147− atIndent (n + 2) $ P.runProperName ctor ++ " :: " ++ concatMap (\ty -> prettyPrintType' ty ++ " -> ") tys ++ typeName
148+ in atIndent (n + 2) $ P.runProperName ctor ++ " :: " ++ prettyPrintType' ctorTy
148renderDeclaration n _ (P.ExternDataDeclaration name kind) =
149renderDeclaration n _ (P.ExternDataDeclaration name kind) =
149 atIndent n $ "data " ++ P.runProperName name ++ " :: " ++ P.prettyPrintKind kind
150 atIndent n $ "data " ++ P.runProperName name ++ " :: " ++ P.prettyPrintKind kind
150renderDeclaration n _ (P.TypeSynonymDeclaration name args ty) = do
151renderDeclaration n _ (P.TypeSynonymDeclaration name args ty) = do