module ErrorMissingConstructor
   type t = {
     a : bool;
     b : bool;
   }
end