System.SimpleTimeout.Limits

type TimeLimit

type SizeLimit

data Budget

newBudget

checkBudget

decSizeBudget

showTimeout