The basic type guard for a single type.
The type that the type guard is for.
The input to the type guard.
The basic type guard for a single type.