Understanding `Refinement<NoInfer<A>, B>` in Effect Typescript

I see a type Refinement<NoInfer<A>, B> in the documentation, what does this mean?
Was this page helpful?