improve type paremeter bound of Operation