`case initTps :+ seqTp => initTps :+ seqToRepeatedChecked(seqTp)` is a fraction prettier.