"deriving them" != op<+>