eu.timepit:refined-shapeless_native0.4_2.13 (maven): Simple refinement types for Scala
Keywords: refinement-types|scala|typelevel