Structural type systems and multiple dispatch are the future of type systems

TODO Structural type systems and multiple dispatch are the future of type systems   programming