Toward a expected_traits parameter.