Now that this is written down, it does seem like generalizing the type in the dotted list to a result makes sense.