Criterion
class Benchmarkable a
data Benchmark
data Pure