haozheng deng

_TSource in Option should be covariant

7

**Describe the bug** _TSource type in Option should be covariant. ```python class A: pass class B(A): pass x: Option[A] = Some(B()) ``` Now since the _TSource is invariant, pyright will...

Generic monad algorithm

1

Is it possible to define a function that can handle multiple types of effects depends on the object that yields the effect? Like in Haskell ``` join :: Monad m...

#206 pydantic validate issue #208 pickle issue

--- **Bug Description** Pickling `tagge_union` type is not working because `__dataclass_fields__` is set on the object's `__dict__` instead of the class `__dict__`. Additionally, `__dataclass_fields__` cannot be pickled automatically since it...

**Bug Description** Pydantic schema fails to validate user-defined types. **Expected Behavior** The Pydantic schema should successfully validate user-defined types. **Code Example** Below is a minimal code example to illustrate the...