Filled in list_types.html