Example of Multiple Type Binding

add predefined instances of class IMEnvId, IMEnvMap
with fixed number of type parameters.