Test.LeanCheck.Derive

deriveListable

deriveListableIfNeeded

deriveListableCascading