Size : w ->                                      Size : r ->
Arg X : GeometricShape, Size : Rectangle         Arg Size : &Rectangle, X : GeometricShape

...                                              ...

/                                                /

Area_size : r ->
Arg X : GeometricShape

...

Area_size

/
