Test.LeanCheck.Derive
deriveListable
deriveListableIfNeeded
deriveListableCascading