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