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