Some /== Option leads to a compiler error

gistfile1.txt

scala> import scalaz._
import scalaz._

scala> import Scalaz._
import Scalaz._

scala> Option(17) match {
     | case opt @ Some(_) if opt /== Option(42) =>
     | }
<console>:48: error: type mismatch;
 found   : Option[Int]
 required: Some[Int]
              case opt @ Some(_) if opt /== Option(42) =>
                                                  ^

scala> Option(17) match {
     | case opt @ Some(_) if Option(42) /== opt =>
     | }

scala>



/*
 * if === and /== would be defined in the following manner, then the first pattern match would compile
 * def ===[B >: A](b: B)(implicit e: Eq[B]): Boolean = e equal(a, b)
 *
 */

Might be worth another look. It's a tightrope walk between permissiveness and strictness, unfortunately...