@@ -73,7 +73,11 @@ instance (Var.ToString var, Pretty var) => Pretty (Type var) where
7373 prettyField (f,t) = P.text f <+> P.text ":" <+> pretty t
7474 prettyFields fields = commaSep (map prettyField fields)
7575
76− Aliased name _ -> pretty name
76+ Aliased name t ->
77+ let t' = pretty t in
78+ if show t' `elem` ["Int", "Float", "String", "Char", "Bool"]
79+ then t'
80+ else pretty name
7781
7882collectLambdas :: Type var -> [Type var]
7983collectLambdas tipe =