A better way to constrain case class construction in Scala