let imp_as_list t = as_list t.h