Language.Syntactic.TypeRep.Sugar.TupleTR