Reorganize mergeable typeclass

[lsrcz]

This pull request reorganized the whole stack for the Mergeable containers. The new TryMerge type class now does not require the container to actually perform the merging.

[codecov]

Codecov Report

Attention: 138 lines in your changes are missing coverage. Please review.

Comparison is base (0e70db6) 53.28% compared to head (a497924) 52.87%.

Files	Patch %	Lines
src/Grisette/Core/Data/Class/TryMerge.hs	23.63%	42 Missing ⚠️
src/Grisette/Core/Control/Monad/UnionM.hs	67.27%	16 Missing and 2 partials ⚠️
src/Grisette/Core/Data/Class/SafeDivision.hs	0.00%	18 Missing ⚠️
src/Grisette/Core/Data/Class/SOrd.hs	53.33%	14 Missing ⚠️
src/Grisette/Core/Data/Class/PlainUnion.hs	38.09%	13 Missing ⚠️
src/Grisette/Core/Data/Class/SafeLinearArith.hs	45.83%	12 Missing and 1 partial ⚠️
src/Grisette/Core/Data/Union.hs	33.33%	8 Missing ⚠️
src/Grisette/Core/Data/Class/GenSym.hs	77.77%	4 Missing and 2 partials ⚠️
src/Grisette/Lib/Control/Monad.hs	57.14%	2 Missing and 1 partial ⚠️
src/Grisette/Core/Data/Class/SimpleMergeable.hs	94.11%	2 Missing ⚠️
... and 1 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #170      +/-   ##
==========================================
- Coverage   53.28%   52.87%   -0.42%     
==========================================
  Files          66       68       +2     
  Lines        5848     5852       +4     
  Branches      455      453       -2     
==========================================
- Hits         3116     3094      -22     
- Misses       2277     2305      +28     
+ Partials      455      453       -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.