Agda.TypeChecking.Monad.Statistics
tick
getStatistics