Assert: t.Type<Assert<unknown>> = ...