better compatibility with ghc-7.2
new mean benchmark