WKLessonBatchSizeNumber: NumberRange<WKMinLessonBatchSize, WKMaxLessonBatchSize>

A number representing a valid lesson batch size in WaniKani, from 3 to 10.