improve inference and inlining involving type tuples