diff --git a/compiler/global/global_printer.ml b/compiler/global/global_printer.ml
index dd4aee3..674a9d0 100644
--- a/compiler/global/global_printer.ml
+++ b/compiler/global/global_printer.ml
@@ -73,7 +73,7 @@ and print_type ff = function
   | Tid id -> print_qualname ff id
   | Tarray (ty, n) ->
       fprintf ff "@[<hov2>%a^%a@]" print_type ty print_static_exp n
-  | Tunit -> fprintf ff "()"
+  | Tunit -> fprintf ff "unit"
   | Tasync (a, t) -> fprintf ff "%a%a" print_async (Some a) print_type t
 
 let print_field ff field =
diff --git a/compiler/global/types.ml b/compiler/global/types.ml
index 036e99f..d9105ab 100644
--- a/compiler/global/types.ml
+++ b/compiler/global/types.ml
@@ -38,7 +38,7 @@ and ty =
 let invalid_type = Tprod [] (** Invalid type given to untyped expression etc. *)
 
 let prod = function
-  | []      -> assert false
+  | []      -> Tunit
   | [ty]    -> ty
   | ty_list -> Tprod ty_list