let type t = {} in new t {} end