I like for example Refined https://github.com/fthomas/refined https://github.com/fthomas/refined not only for the static checking, scala> val i: Int Refi

I like for example Refined https://github.com/fthomas/refined https://github.com/fthomas/refined not only for the static checking, scala> val i: Int Refined Positive = -5 <console>:22: error: Predicate failed: (-5 > 0). val i: Int Refined Positive = -5 but the expressive descriptions of a domain model.