-record(type_var, {name :: binary()}).