mkTupleTy boxity tys  = mkTyConApp (tupleTyCon boxity (length tys)) tys
mkTupleTy boxity tys  = mkTyConApp (tupleTyCon boxity (length tys)) tys
mkTupleTy boxity tys  = mkTyConApp (tupleTyCon boxity (length tys)) tys