@@ -49,7 +49,9 @@ instance (Var.ToString var, Pretty var) => Pretty (Type var) where
50 Var x -> P.text x
50 Var x -> P.text x
52− Type v -> P.text (Var.toString v)
52+ Type var ->
53+ let v = Var.toString var in
54+ P.text (if v == "_Tuple0" then "()" else v)
54 App f args ->
56 App f args ->
55 case (f,args) of
57 case (f,args) of