Cond: t.Type<Cond> = ...