I don't understand why you need an inner type for the solver... just ask the model of linalgo to have this method.