py-beartype is a stub port
