4. The method of claim 1 , wherein the instance members of the interface instance are routed to the simulated type-level parameterized constructors.
5. The method of claim 4 , wherein the simulated type-level parameterized constructors include one or more type-level operations.