Diff beartype-0.16.2 with a beartype-0.20.0_rc0

Thank you!