Agda.Benchmarking
data Phase
type Benchmark
type Account
isModuleAccount
isDefAccount
isInternalAccount
benchmarks
billToIO
billToPure