type t = unit instead of string