Type guard with automatic type inference using the full type
The value to check
The tag to check for
Whether the value is a Typeable with the specified tag
Type guard with automatic type inference using the full type