See if we can merge `ObsEq` and `ResolvedObsEq` under one constructor.