Static Type Checking for Predicates in TypeScript with Effect-TS

can typescript statically check for predicates on types/does effect-ts provide methods for statically checking predicates on types?
Was this page helpful?