This is the type system used in both Needle and Nice.

Mark

"On the integration of functional programming, class-based object-oriented programming, and multi-methods"

http://www.exalead.com/Francois.Bourdoncle/mlsub.html