pub const PATTERN: &str = "cove::type::pattern";
A pattern matches a different type than the scrutinee.