System.SimpleTimeout.Limits
type TimeLimit
type SizeLimit
data Budget
newBudget
checkBudget
decSizeBudget
showTimeout