better spec for tuple types #852