@@ -48,9 +48,6 @@ toStringHelp context tipe =
49 Type name -> name
49 Type name -> name
51− App (Type "List") [t] ->
52− sandwich "[" "]" (toString t)
54 App (Type name) args
51 App (Type name) args
55 | Help.isTuple name ->
52 | Help.isTuple name ->
56 map toString args
53 map toString args