Test.LeanCheck.Basic
cons6
cons7
cons8
cons9
cons10
cons11
cons12
ofWeight
addWeight