> but the functions that require Player will still not work with anything else. I think you are equating statically typed to Java. There are plenty statically

> but the functions that require Player will still not work with anything else. I think you are equating statically typed to Java. There are plenty statically typed languages which will take care of this, while still avoiding many runtime errors. Heck, even C++ templates will do this for you, although C++ with concepts would be a lot better, sans the compile time. Typeclasses also address the same problem: to signal compile error early.