Rate-limiting constructs for monadic actions