Agda.TypeChecking.Monad.Base.Benchmark
data Phase
type Account
data Benchmark
modifyCurrentAccount
modifyTimings
empty
addCPUTime