@@ -157,7 +157,6 @@ renderDeclaration (P.DataDeclaration dtype name args ctors) title =
157157 ctor'' = P.TypeConstructor (P.Qualified Nothing ctor')
158158 typeApp' = foldl P.TypeApp ctor'' tys
159159 ctorSignature = renderType typeApp'
160− -- TODO: add forall for all free type variables
161160 ctorCode = ident (show ctor') <> sp <> syntax "::" <> sp <> renderType ctorType
162161 ctorType = P.quantify $ foldr (\a b -> P.TypeApp (P.TypeApp P.tyFunction a) b) typeApp tys
163162renderDeclaration (P.ExternDataDeclaration name kind') title =