import scalaz._
import Scalaz._

case class Identifier(i:Long)
case class Thing(id:Identifier)

object Thing extends Equals {
  implicit def IdentifierEqual:Equal[Identifier] = equalA
  implicit def ThingEqual:Equal[Thing] = equalBy(_.id)
}