eu.timepit:refined-shapeless_sjs0.6_2.13.0-RC2 (maven): Simple refinement types for Scala
Keywords: refinement-types|scala|typelevel