Record the type in TuplePat (necessary for GADTs)