Why not use smallcheck?

I’m surprised this happens so quickly. Could it be that this is implementation specific because of MonadLogic? What if Series would be implemented as a simple list that contains all the values in ascending size? After all, we don’t really need backtracking, so MonadLogic is maybe oversized.