A gate is an abstract type, representing a simple barrier that can only have its state queried in a non-blocking manner.

This useful for implementing things like passing in a gate to terminate or stop a loop.