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