tlist: typesafe variant of list module.