Understanding Methods and Functions in Data Types: The Case of `Ref` and `modify`
Why do some data types have methods? for example
Refmodify method and a separate modify function at the same time?
