functor (D : SolverDriver.S-> Conv