modify type bound