let type t = {a} in x end