retype into a tuple instead of typelists