let imp_to_t t = t.h