Can this be expressed with `expectedTpe` a `val`, not a `var`?

Let's call the approximated expected type `ptApprox`