Int Refined Positive doesn't compile...

Getting predicate from Refined...

Apply type projection to a refined type...

Singleton type as a type member...

Scala circe deriveUnwrapped value class doesn't work for missing member...

How to convert into refined type?...

How to ensure type safety with Scala's Refined library when using the same predicate for refinem...

decoder for refined type when using circe with Http4s...

Scala: how to force converting a statement to literal?...

Type refinements in Scala but without using refined...

Trying to keep types unwrapped when using refined...

Pattern matching on scala Refined size...

Using PureConfig with Refined?...

Refined and existential types for runtime values...