Implementation with a case class