That's dependency injection for you, it's just impossible to know what you're actually dealing with. The other day, I hit a system error at

> ((IEatVeggies)child).justDoIt() > Cast error: Not a IEatVeggies

So in the REPL (very confusing and error-prone UI there too, by the way)

> print typeof(child) > IAmHangry

Unbelievable! There isn't even a direct conversion from IAmHangry to IEatVeggies. This type system is just completely insane.