More flexible symbolic generation for common types

[lsrcz]

This pull request loosen the constraints for the symbolic generation for Either, Maybe and list types.

[codecov]

Codecov Report

Patch coverage has no change and project coverage change: -0.18 ⚠️

Comparison is base (768bb30) 32.30% compared to head (9583387) 32.13%.

❗ Current head 9583387 differs from pull request most recent head 20727b0. Consider uploading reports for the commit 20727b0 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #84      +/-   ##
==========================================
- Coverage   32.30%   32.13%   -0.18%     
==========================================
  Files          49       49              
  Lines        5036     5060      +24     
  Branches      247      248       +1     
==========================================
- Hits         1627     1626       -1     
- Misses       3162     3186      +24     
- Partials      247      248       +1     

Impacted Files	Coverage Δ
src/Grisette/Core/Data/Class/GenSym.hs	4.69% <0.00%> (-0.27%)	⬇️

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.