Monkey Type collects runtime types of function arguments and return values, and can