Case: t.Type<Case> = ...