monad-control is not needed
use criterion == 1.0
EqRef is not part of the basic interface