Nullable NoInfer breaks `with()` handler

patterns of type `P.Pattern` do not work

Incorrect Partial Type + Discriminated Union Exhaustion Typecheck

Incorrect array exhaustiveness check

const/literal handlers

gif-fetcher example is broken - missing public/index.html

Export "infer" type alias supporting narrowing

How to match and use `P.select()` on recursive data structures?

Type inference issue with discriminated unions in .otherwise() - remaining types not properly narrowed

Exhaustiveness check fails when matching arrays with 2 or more elements