let variable_t = T.make T.Variable