Use WHNF in benchmarks