updates.differenceEmpty#5d75a138 date:int seq:int = updates.Difference;
t :: %TL.Updates.DifferenceEmpty{date: integer, seq: integer}