Update BenchmarkExample.lhs