It would be cool if #dotnet embraced more fluid/dyanmic instance types. For example a static Dog or Cat class for new instances, but syntax to transition a Dog to Dog+Cat and then the transitioned instance could be passed to methods expecting a cat.