Understanding Methods and Functions in Data Types: The Case of `Ref` and `modify` - Effect Community