beartype
rich
