Errors with a type checker

[kiyoon]

trafficstars

If you ever use a type checker, such as basedpyright, the polarify function will make lots of errors.

It's because pl.Expr type is not directly comparable. Removing the type will remove errors (as long as your project allows untyped functions.)

I wonder if there's any fix for this? Maybe when it's not typed, the output function is assumed to be pl.Expr?