Writing an Operating System with Modula-3 (1995) [pdf]
cseweb.ucsd.edu
cseweb.ucsd.edu
It did structural polymorphism well before Go, but did the whole thing through a 32-bit hash. This meant you could (quite easily) structure a type that was castable to Int, String, anything you wanted...
And OMG the ridiculously verbose syntax.
Not as bad as Ada, VHDL, Cobol etc.!
https://en.wikipedia.org/wiki/Modula-3
Many commercial projects and even some OSS (eg CVSup) got built with it. SPIN OS as well. Another step in right direction away from things like C++. ;)