Language/SMTLib2/Pipe/Internals.hs:100:10-24: No instance nor default method for class operation modelEvaluate

[jwaldmann]

it's simply not there, and the method declaration has no default implementation.