Lambda the Ultimate

I've posted a few times on encoding tagless interpreters in C#. Unfortunately, C# and the CLR don't support type constructor polymorphism, so after much sweat and tears I had developed a mostly type safe encoding using downcasts. I've never fully described this translation from ML modules and signatures to C# classes and interfaces in plain English, but a recent Stack Overflow question on that exact subject spurred me to describe it fully. Perhaps people here forced to work in Java and/or C# will find it useful:

Abstracting over Type Constructors using Dynamics in C#