Robuta

https://hackage-content.haskell.org/package/nat-optics nat-optics: Refinement types for natural numbers with an optics interface Refinement types for natural numbers with an optics interface refinement types natural numbers with an optics interface https://cfp.scaladays.org/scala26/talk/X9YKXK/ First-class Logical Refinement Types for Scala :: Scala Days 2026 :: pretalx first class refinement types logical scala days