Refinement types for Scala
Why do you think that https://github.com/scala-hamsters/hamsters is a good alternative to refined
Refinement types for Scala
Why do you think that https://github.com/scala-hamsters/hamsters is a good alternative to refined