Oron Port

Think about a library with a function `def Foo(num : Positive) : Positive` (where `Positive`is an alias for `Int Refined Positive`). As a user of such library it is very...

Sounds reasonable. Just be sure that if passed compiler check, then runtime check would not run.

@ysusuk I created a solution using the singleton-ops library, which is called `TwoFace` and `Checked` values. You can read about it in the following link: https://contributors.scala-lang.org/t/twoface-values-closing-the-gap-between-run-compile-time-functionality/869

Maybe something along these lines: 

Well with a hexagonal example, I would take a hexagonal and cut and move unique shapes from it and spell-out `refined` with the shapes somehow. It should like this children's...

Maybe it can be divided into several über-imports, classified according to use. - Normal usage (`import refined.normal`) - What is stated above. - Advanced usage (`import refined.advanced`) - Normal +...

Since [singleton-ops](https://github.com/fthomas/singleton-ops) uses same type aliases, and there are use-cases to use both libraries together, I'm not in favor of this suggestion. At least not as part of the default...

I'm not sure a `constrained + unconstrained` should gives us a `constrained` type. Perhaps you mean `constrained + literal` ?

The second, no support for extended palette https://scastie.scala-lang.org/soronpo/jQ5xmMKeSCKmE5Bq8AxY7A/13 ```scala import scala.io.AnsiColor.{RESET} val x = s"\u001B[38;5;92mI want to be extended$RESET" println(x) ``` 

@OlegYch Understandable. Then maybe just remove extended tags so we won't get the distorted text.