Fixed type paramaters in ops trait bounds