Overloading `getproperty` in a type-stable manner

4 Likes