sequences of case classes nested in a case class