That design makes sense, but the current design is inherited from traits. We do always have the option of breaking from upstream traits behavior, but we haven't decided to do that yet. So I went ahead and replaced the case here with a non-checking Tuple, which seems the simplest path for the current temporary situation.