because this is the right-identity to `bothDmdResult`, and this is the
right thing to do in a lazy context.