New posts in type-variables

What are skolems?

haskell types type-variables

What's the difference between a constrained TypeVar and a Union?

python type-hinting python-typing union-types type-variables