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