:: (a, b) is:exact package:tardis

Some Tardises never observe the initial state of either state stream, so it is convenient to simply hand dummy values to such Tardises.
noState = (undefined, undefined)