refiment types with kotlintest to constrain forAll...
# arrow-contributors
r
refiment types with kotlintest to constrain forAll checks and matchers for refiments and their values