@@ -212,10 +212,11 @@ instance PrettyType a => PrettyType (TermN a) where
212212 Nothing -> doc
213213
214214instance PrettyType Descriptor where
215− pretty when desc =
216− case (structure desc, name desc) of
217− (Just term, _) -> pretty when term
218− (_, Just name)
215+ pretty when desc = do
216+ case (alias desc, structure desc, name desc) of
217+ (Just name, _, _) -> PP.pretty name
218+ (_, Just term, _) -> pretty when term
219+ (_, _, Just name)
219220 | Var.isTuple name ->
220221 P.parens . P.text $ replicate (read (drop 6 (Var.toString name)) - 1) ','
221222 | otherwise ->