Agda.TypeChecking.Monad.Statistics
tick
tickN
tickMax
getStatistics