implicit arguments to mapT_list.