eu.timepit:refined_3.0.0-M1 (maven): Simple refinement types for Scala
Keywords: refinement-types|scala|typelevel