Monkey Type collects runtime types of function arguments and return values, and can automatically generate stub files or even add
