Mock mismatch with semantics about quickcheck-state-machine HOT 1 OPEN

This error message is hard to understand, because it is expressed in terms of the internals of the library.

What internals? I don't see a single concept in that error message that isn't exposed to the user?

It feels that in order to understand it I would need to read the code of the lib.

Go ahead, the code is fairly simple. Afterwards perhaps you can suggest how the error message can be improved, because I can't think of a better way to put it...

mock is a hack, as I admit in the issue you linked to. I don't know how to remove mock while retaining the possibility to return different references though, also it turns out mock can be used in unexpected but useful ways: https://www.well-typed.com/blog/2019/01/qsm-in-depth/ .

from quickcheck-state-machine.