equal.scala

import org.scalacheck._
import org.scalacheck.Arbitrary._
import scalaz.scalacheck.ScalazProperties._

object FooSpec extends Properties("Foo") {
  class Foo(value: String)
  implicit val FooEqual: Equal[Foo] = Equal.equalRef
  implicit val FooArb: Arbitrary[Foo] = Arbitrary(Gen.identifier map (new Foo(_)))

  checkAll(equal.laws[Foo]) // passes
  
  property("eq") = Equal[Foo].equal(new Foo("foo"), new Foo("foo")) // fails!

  def checkAll(props: Properties) {
    for ((name, prop) <- props.properties) yield {
      property(name) = prop
    }
  }
}

FooSpec.check