Hi! First thanks for making beartype a reality, this is one of the best library I have come accross and use it everyday!

I have created a custom behaved class (called TransitionClass) which is generated similarly as dataclasses are. I have created a metaclass (TransitionMeta) which processes the namespace of my class body and generates automatically different methods through the 'exec' command, as done in dataclasses. In particular it generates an 'init' method automatically. The 'init' method head is type annotated correctly, however, as in dataclasses, the default value for fields which have a default factory function is a sentinel '_HAS_DEFAULT_FACTORY' which is an instance of '_HAS_DEFAULT_FACTORY_CLASS', which obviously is not of the right type.

I suppose that if I just decorate my init method with beartype I will therefore get an error. How did you do to bypass this bottleneck in dataclasses?

Also since TransitionClass behave similarly as dataclasses I have decorated TransitionMeta with typing.dataclass_transform. Can I then directly decorate TransitionClass's init with beartype?

Many thanks :)