Better tuples, just need their types resolved