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