io.github.iltotore:iron-zio_3 (maven): Strong type constraints for Scala
Keywords: assert|functional-programming|refinement-types|scala|types