A case class sanity check