Bound: t.Type<Bound> = ...