Agda.TypeChecking.Monad.Benchmark
getBenchmark
benchmarking
billTo
billPureTo
print