deriving: constrain optcomp dep