Narrowing Types with Schema.filter in Effect Typescript

Can a Schema.filter be made to narrow the type, so that when doing Schema.encodeSync(MySchema)(foo), the type of foo will be compared against that narrowed filtered type?
Was this page helpful?