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