[#723] Add synonyms for SomeConstrainedValue

This is more of an RFC.

There is some simplification, specifically, we don't have to define instances for each new existential (at least if we're willing to use quantified constraints), and adding synonyms is nearly trivial.

That said, not like this affects the code base in any meaningful way, unless we choose to remove synonyms and use SomeConstrainedValue everywhere, which IMO is less readable overall.

Description

Problem: We're defining SomeValue, SomeStorage and SomeConstant as separate existential wrappers, while we have SomeConstrainedValue already.

Solution: Define SomeValue, SomeStorage and SomeConstant in terms of SomeConstrainedValue. Define instances on SomeConstrainedValue directly.

Related issue(s)

Resolves #723 (closed)

Checklist for your Merge Request

Related changes (conditional)

• Tests (see short guidelines)

  • If I added new functionality, I added tests covering it.
  • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.

• Documentation

  • I checked whether I should update the docs and did so if necessary:
    • Root README and other README.md files
    • Haddock
    • docs/
  • I updated changelog files of all affected packages released to Hackage if my changes are externally visible.

Stylistic guide (mandatory)

• My commits comply with the following policy.
• My code complies with the style guide.

assigned to @lierdakil

mentioned in issue #723 (closed)

added 27 commits

• 24d2d668...f0b88b5d - 26 commits from branch master
• cac90ddf - [#723 (closed)] Add synonyms for SomeConstrainedValue

Compare with previous version

added 1 commit

• d4ab9b63 - fixup! [#723 (closed)] Add synonyms for SomeConstrainedValue

Compare with previous version

added 1 commit

• 6b3a753f - fixup! [#723 (closed)] Add synonyms for SomeConstrainedValue

Compare with previous version

added 21 commits

• 6b3a753f...83e2f328 - 19 commits from branch master
• bedb2f62 - [#723 (closed)] Add synonyms for SomeConstrainedValue
• 84d4b5ce - fixup! [#723 (closed)] Add synonyms for SomeConstrainedValue

Compare with previous version

added 8 commits

• 84d4b5ce...9fbd8385 - 6 commits from branch master
• 79cf6576 - [#723 (closed)] Add synonyms for SomeConstrainedValue
• 413ca80e - [Chore] Update changelogs

Compare with previous version

requested review from @dmitriy.mozhevitin and @pasqu4le

I personally like this approach of defining new existential wrappers , and it seems like that using type aliases won't lead to any problems in the future

@dmitriy.mozhevitin do you suppose we should merge this? If so, your approval is missing.

added 1 commit

• 1a0d99ae - fixup! [#723 (closed)] Add synonyms for SomeConstrainedValue

Compare with previous version

resolved all threads

approved this merge request

approved this merge request

added 11 commits

• 1a0d99ae...4c746f81 - 9 commits from branch master
• e0392169 - [#723 (closed)] Add synonyms for SomeConstrainedValue
• 181f5d33 - [Chore] Update changelogs

Compare with previous version

approved this merge request

marked this merge request as ready

enabled an automatic merge when the pipeline for 181f5d33 succeeds

mentioned in commit 2c67052d

merged